Theorem IsSubgroup.trivial_normal

Modification history