Theorem CategoryTheory.Functor.congr_obj

Modification history