Theorem WithCStarModule.sub_fst

Modification history

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