Def CompleteLattice.IsSupFiniteCompact

Modification history