Theorem CategoryTheory.Functor.of_toCatHom

Modification history