Theorem CategoryTheory.Functor.congr_hom

Modification history