Index - K
| K | OAlg.Data.Symbol |
| Kernel | OAlg.Limes.KernelsAndCokernels |
| KernelCone | OAlg.Limes.KernelsAndCokernels |
| KernelDiagram | OAlg.Limes.KernelsAndCokernels |
| kernelDiagram | OAlg.Limes.KernelsAndCokernels |
| KernelDiagramFree | OAlg.Entity.Slice.Free, OAlg.Entity.Slice |
| kernelFactor | OAlg.Limes.KernelsAndCokernels |
| KernelFree | OAlg.Entity.Slice.Free, OAlg.Entity.Slice |
| Kernels | OAlg.Limes.KernelsAndCokernels |
| kernels | OAlg.Limes.KernelsAndCokernels |
| kernels0 | OAlg.Limes.KernelsAndCokernels |
| kernels1 | OAlg.Limes.KernelsAndCokernels |
| KernelSliceFromSomeFreeTip | |
| 1 (Type/Class) | OAlg.Entity.Slice.Free, OAlg.Entity.Slice |
| 2 (Data Constructor) | OAlg.Entity.Slice.Free, OAlg.Entity.Slice |
| kernelsOrnt | OAlg.Limes.KernelsAndCokernels |
| kernelZero | OAlg.Limes.KernelsAndCokernels |
| KnownChar | OAlg.Data.TypeLits |
| KnownNat | OAlg.Data.TypeLits |
| KnownSymbol | OAlg.Data.TypeLits |
| krnEqls | OAlg.Limes.KernelsAndCokernels |
| krnLimesDuality | OAlg.Limes.KernelsAndCokernels |
| ksfKernel | OAlg.Entity.Slice.Free, OAlg.Entity.Slice |