Mathlib Changelog
v4
Changelog
About
Github
Commit
2025-03-21 12:44
ab0cfbc0
View on Github →
chore(CStarAlgebra): fix outdated docstring (
#23166
)
Estimated changes
Modified
Mathlib/Analysis/CStarAlgebra/Basic.lean