Theorem Unitization.continuous_inr

Modification history

2024-10-27 21:51
Mathlib/Analysis/Normed/Algebra/Unitization.lean
feat: isometric continuous functional calculi (#17837)
Added Unitization.continuous_inrView on Github →