Theorem CategoryTheory.Preadditive.isLimitForkOfKernelFork_lift

Modification history