Theorem CategoryTheory.Preadditive.forkOfKernelFork_ι

Modification history