Theorem Grp_.inv_inv

Modification history