Theorem Group.mclosure_inv_subset

Modification history