Index - N
| negateTensor | Math.LinearMap.Category |
| Norm | |
| 1 (Type/Class) | Math.LinearMap.Category |
| 2 (Data Constructor) | Math.LinearMap.Category |
| normalLength | Math.LinearMap.Category |
| normSpanningSystem | Math.LinearMap.Category |
| normSpanningSystem' | Math.LinearMap.Category |
| normSq | Math.LinearMap.Category |
| Num' | Math.LinearMap.Category |