Def CategoryTheory.Limits.IsLimit.ofWhiskerEquivalence

Modification history