Def CategoryTheory.Limits.IsColimit.ofWhiskerEquivalence

Modification history