Index - N
| Natural | |
| 1 (Type/Class) | Numeric.Natural.Internal, Numeric.Natural, Numeric.Algebra |
| 2 (Data Constructor) | Numeric.Natural.Internal |
| negate | Numeric.Additive.Group, Numeric.Algebra |
| negateRep | Numeric.Module.Representable, Numeric.Algebra |
algebra-0.9.0.3: Constructive abstract algebra