Theorem TopCat.Presheaf.id_pushforward

Modification history