Structure Filter.IsIncreasingApproximateUnit

Modification history

2025-03-03 14:53
Mathlib/Analysis/CStarAlgebra/ApproximateUnit.lean
chore: bump toolchain to v4.18.0-rc1 (#22500) …
Modified Filter.IsIncreasingApproximateUnitView on Github →
2024-11-27 03:15
Mathlib/Analysis/CStarAlgebra/ApproximateUnit.lean
feat: approximate units in C⋆-algebras (#18506) …
Added Filter.IsIncreasingApproximateUnitView on Github →