Def CategoryTheory.Limits.IsLimit.whiskerEquivalenceEquiv

Modification history