Theorem WithCStarModule.equiv_smul

Modification history

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