Theorem Group.closure_eq_mclosure

Modification history