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

Modification history