Theorem CompleteLattice.WellFoundedGT.isSupFiniteCompact

Modification history