Theorem Set.eq_univ_iff_ncard

Modification history