Index - V
| ValidDualness | Math.VectorSpace.Dual |
| Variance | Math.LinearMap.Category |
| varianceSpanningSystem | Math.LinearMap.Category |
| Vector | Math.VectorSpace.Dual |
| VectorSpace | Math.LinearMap.Category |
| VectorWitness | Math.VectorSpace.Dual |
| VSCCoercion | |
| 1 (Type/Class) | Math.LinearMap.Coercion |
| 2 (Data Constructor) | Math.LinearMap.Coercion |