Property: J-1

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

Nothing was retrieved.