Theorem TopCat.Presheaf.restrictOpenCommRingCat_apply

Modification history