Theorem Grp_.tensorHom_inv_inv_mul

Modification history