Theorem Grp_Class.inv_comp_inv

Modification history