Def CategoryTheory.Limits.IsLimit.whiskerEquivalence

Modification history