Theorem CategoryTheory.Functor.congr_inv_of_congr_hom

Modification history