Theorem spectrum.not_mem_iff

Modification history

2025-05-25 12:30
Mathlib/Algebra/Algebra/Spectrum/Basic.lean
chore(*): not_mem/nmem -> notMem (#25159)
Deleted spectrum.not_mem_iffView on Github →
2023-06-07 16:52
Mathlib/Algebra/Algebra/Spectrum.lean
feat: port Algebra.Algebra.Spectrum (#4778) …
Added spectrum.not_mem_iffView on Github →