Theorem TopCat.Presheaf.Pushforward.id_inv_app'

Modification history