Theorem CompleteLattice.isSupFiniteCompact_iff_all_elements_compact

Modification history