Theorem Set.Finite.lt_ciInf_iff

Modification history