Theorem WithCStarModule.zero_snd

Modification history

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