Theorem IsSubgroup.mem_trivial

Modification history