Theorem Set.Finite.cSup_lt_iff

Modification history