Theorem IsSubgroup.eq_trivial_iff

Modification history