Def CategoryTheory.Limits.Cocones.precomposeEquivalence

Modification history