Theorem Set.Finite.lt_csInf_iff

Modification history