Theorem Grp_Class.mul_inv

Modification history