Theorem Set.infinite_univ_iff

Modification history