Def CategoryTheory.Limits.Cocones.precomposeComp

Modification history