Theorem CategoryTheory.Preadditive.kernelForkOfFork_ι

Modification history