Def CategoryTheory.Limits.CokernelCofork.IsColimit.ofπOp

Modification history