Index - I
| 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 |