Theorem LinearMapClass.map_smul_of_tower

Modification history

2025-03-30 03:51
Mathlib/Algebra/Module/LinearMap/Defs.lean
feat(CStarAlgebra): define positive maps and show their continuity (#23210) …
Added LinearMapClass.map_smul_of_towerView on Github →