Def CategoryTheory.Functor.functorialityCompPrecompose

Modification history