Property: J-1

Definition: the set of regular points of the spectrum is an open subset

(No citations retrieved.)

(No metaproperty information retrieved.)