[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
Nov 9, 2024 - GAP