Index - B
| BasisGeneratedSpace | Math.LinearMap.Category.Instances.Deriving, Math.LinearMap.Category |
| Bilinear | Math.LinearMap.Category |
| bilinearFunction | Math.LinearMap.Category |
| BindMaybePred | Math.VectorSpace.DimensionAware.Theorems.MaybeNat |
| binMaybePredSing | Math.VectorSpace.DimensionAware.Theorems.MaybeNat |