Def CategoryTheory.Limits.Cocones.functorialityEquivalence

Modification history