Theorem TopCat.Presheaf.toPushforwardOfIso_app

Modification history