Def CategoryTheory.Limits.Cocones.precompose

Modification history