Theorem CompleteLattice.WellFounded.isSupFiniteCompact

Modification history