Theorem PreQuasiregular.add_inv_add_mul_eq_zero

Modification history

2024-03-12 19:39
Mathlib/Algebra/Algebra/Quasispectrum.lean
feat: define `quasispectrum` for non-unital algebras (#11219) …
Added PreQuasiregular.add_inv_add_mul_eq_zeroView on Github →