Theorem Set.univ_finite_iff_nonempty_fintype

Modification history