Theorem Set.finite_univ

Modification history