Theorem Class.eq_univ_of_powerset_subset

Modification history