isAdditiveCommutative

AdditiveSemigroupFunctions

isMultiplicativeCommutative

MultiplicativeSemigroupFunctions

isOne

MultiplicativeMonoid MultiplicativeMonoidFunctions

isZero

AdditiveMonoid AdditiveMonoidFunctions