Theorem WithCStarModule.equiv_symm_fst

Modification history

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