Def Unitization.inrRangeEquiv

Modification history

2024-06-01 21:26
Mathlib/Algebra/Algebra/Unitization.lean
feat: instances of the non-unital continuous functional calculus for C⋆-algebras (#13365) …
Added Unitization.inrRangeEquivView on Github →