Def WithCStarModule.uniformEquiv

Modification history

2024-10-08 15:03

Mathlib/Analysis/CStarAlgebra/Module/Synonym.lean

chore: Rename `UniformInducing` to `IsUniformInducing` (#17398) …

Modified WithCStarModule.uniformEquiv View on Github →

2024-08-15 08:47

Mathlib/Analysis/CStarAlgebra/Module/Synonym.lean

feat: add the `WithCStarModule` type synonym (#15763) …

Added WithCStarModule.uniformEquiv View on Github →