Theorem CategoryTheory.Limits.KernelFork.map_ι

Modification history