Property: J-0

Definition: the set of regular points of the spectrum contains a non-empty open subset

(No citations retrieved.)

(No metaproperty information retrieved.)