Idempotent | Numeric.Addition.Idempotent, Numeric.Semigroup, Numeric.Monoid, Numeric.Group, Numeric.Addition |
IntegralSemiring | Numeric.Semiring.Integral, Numeric.Semiring, Numeric.Rng |
Involutive | Numeric.Semiring.Involutive, Numeric.Semiring, Numeric.Rng |
InvolutiveMultiplication | Numeric.Multiplication.Involutive, Numeric.Semigroup, Numeric.Monoid, Numeric.Multiplication, Numeric.Group |
isAssociate | Numeric.Decidable.Associates |
isAssociateIntegral | Numeric.Decidable.Associates |
isAssociateWhole | Numeric.Decidable.Associates |
isUnit | Numeric.Decidable.Units |
isZero | Numeric.Decidable.Zero |