Theorem IsSubgroup.univ_subgroup

Modification history