Theorem Grp.tensorObj_eq

Modification history