Theorem TopCat.Presheaf.piOpensIsoSectionsFamily_apply

Modification history