Theorem CategoryTheory.Functor.to_ofCatHom

Modification history