Def CategoryTheory.Limits.biprod.isCokernelInrCokernelFork

Modification history