Def CategoryTheory.Functor.functorialityCompPostcompose

Modification history