Index - F
| findNormalLength | Math.LinearMap.Category |
| finishEigenSystem | Math.LinearMap.Category |
| FiniteDimensional | Math.LinearMap.Category.Instances.Deriving, Math.LinearMap.Category |
| FlexibleDimensionalCase | Math.VectorSpace.DimensionAware |
| flipBilin | Math.LinearMap.Category |
| fmapTensor | Math.LinearMap.Category.Instances.Deriving, Math.LinearMap.Category |
| FmapTriangularNum | Math.VectorSpace.DimensionAware.Theorems.MaybeNat |
| fmapTriangularNumSing | Math.VectorSpace.DimensionAware.Theorems.MaybeNat |
| Fractional' | Math.LinearMap.Category |
| fromArray | Math.VectorSpace.DimensionAware |
| fromFlatTensor | Math.LinearMap.Category.Instances.Deriving, Math.LinearMap.Category |
| fromLinearForm | Math.LinearMap.Category.Instances.Deriving, Math.LinearMap.Category |
| fromLinearMap | Math.LinearMap.Coercion |
| fromTensor | Math.LinearMap.Coercion |
| Functional | Math.VectorSpace.Dual |
| FunctionalWitness | Math.VectorSpace.Dual |
| fzipTensorWith | Math.LinearMap.Category.Instances.Deriving, Math.LinearMap.Category |