Theorem CategoryTheory.Functor.coreprW_hom_app

Modification history