Theorem Grp_Class.inv_inv

Modification history