Theorem CommMagma.IsLeftCancelMul.toIsRightCancelMul

Modification history