Theorem Grp_.inv_comp_inv

Modification history