Theorem CommGrp.tensorObj_eq

Modification history