Topkis's Theorem

  1. REDIRECT Topkis's theorem {{R from other capitalisation}}