Index - N
| Nat | Algebra.Internal |
| Nil | Algebra.Internal |
| NoetherianRing | Algebra.Ring.Noetherian |
| normalize | |
| 1 (Function) | Algebra.Ring.Polynomial |
| 2 (Function) | Algebra.Ring.Polynomial.Monomorphic |
| normalizeMonom | Algebra.Ring.Polynomial.Monomorphic |
| number | Algebra.Ring.Polynomial.Parser |