Theorem SpectrumRestricts.rightInvOn

Modification history

2024-05-13 12:50

Mathlib/Algebra/Algebra/Quasispectrum.lean

refactor: generalize `SpectrumRestricts` to the `QuasispectrumRestricts`, preserving API (#12643)

Added SpectrumRestricts.rightInvOn View on Github →