Def CategoryTheory.Limits.IsColimit.whiskerEquivalence

Modification history