Index - N
| Natural | Numeric.Algebra |
| negate | Numeric.Additive.Group, Numeric.Algebra |
| negateRep | Numeric.Module.Representable, Numeric.Algebra |
| normalize | Numeric.Algebra.Unital.UnitNormalForm |
| numerator | Numeric.Field.Fraction |
algebra-4.3.1: Constructive abstract algebra