Theorem TopCat.Presheaf.Pushforward.id_hom_app'

Modification history