Theorem CompleteLattice.finset_sup_compact_of_compact

Modification history