Theorem Set.Finite.ciSup_lt_iff

Modification history