Theorem CStarModule.normedSpaceCore

Modification history

2024-08-06 04:16

Mathlib/Analysis/CStarAlgebra/Module.lean

chore(*): rename `Cstar*` to `CStar*` (#15495) …

Added CStarModule.normedSpaceCore View on Github →