Theorem CategoryTheory.Functor.hcongr_hom

Modification history