Theorem CategoryTheory.Functor.reprW_app_hom

Modification history