Theorem TopCat.Presheaf.pushforward_map_app'

Modification history