Theorem AddCommGrp.tensorObj_eq

Modification history