Theorem WithCStarModule.smul_snd

Modification history

2024-08-15 08:47
Mathlib/Analysis/CStarAlgebra/Module/Synonym.lean
feat: add the `WithCStarModule` type synonym (#15763) …
Added WithCStarModule.smul_sndView on Github →