Def CategoryTheory.Limits.IsColimit.whiskerEquivalenceEquiv

Modification history