Theorem CategoryTheory.Functor.reprW_hom_app

Modification history