Theorem isLeftRegular_of_leftCancelSemigroup

Modification history