Def CompleteLattice.IsSupClosedCompact

Modification history