Theorem Set.finite_univ_iff

Modification history