Theorem Grp_Class.tensorHom_inv_inv_mul

Modification history