Theorem CommMagma.IsRightCancelMul.toIsLeftCancelMul

Modification history