Theorem Set.sigma_univ

Modification history