[READ-ONLY-SUBSPLIT] (Co)frames/Locales of Zariski closed/open subsets of affine, projective, or toric varieties
locales constructible-sets zariski-frames zariski-coframes zariski-topology locally-closed-sets quasi-affine-variety affine-variety projective-variety toric-variety
-
Updated
Dec 6, 2024 - GAP