Theorem TopCat.Presheaf.pushforwardToOfIso_app

Modification history