Def Unitization.unitsFstOne

Modification history

2024-03-12 19:39

Mathlib/Algebra/Algebra/Quasispectrum.lean

feat: define `quasispectrum` for non-unital algebras (#11219) …

Added Unitization.unitsFstOne View on Github →