Def CategoryTheory.Limits.Cones.functorialityEquivalence

Modification history