Theorem CompleteLattice.IsSupClosedCompact.wellFounded

Modification history