Theorem CompleteLattice.isSupClosedCompact_iff_wellFoundedGT

Modification history