Theorem spectrum.isOpen_resolventSet

Modification history