Theorem TopCat.Presheaf.Pushforward.id_inv_app

Modification history