Def CategoryTheory.Limits.mkCofanColimit

Modification history