Commit 2026-03-10 09:47 ec392ac6

View on Github →

feat(CategoryTheory/Limits/Preserves/Shapes/Kernels): Mapping zeroKernelFork (#36410) A compatibility iso relating KernelFork.map and kernel.zeroKernelFork.

Estimated changes