Theorem Grp_Class.mul_inv_rev

Modification history