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