Theorem spectrum_subset_quasispectrum

Modification history

2024-04-18 14:41

Mathlib/Algebra/Algebra/Quasispectrum.lean

feat: add monotonicity theorems pertaining to the continuous functional calculus (#12224)

Added spectrum_subset_quasispectrum View on Github →