Theorem IsSubgroup.trivial_eq_closure

Modification history