Theorem CompleteLattice.wellFoundedGT_iff_isSupFiniteCompact

Modification history