Mathlib Changelog
v4
Changelog
About
Github
Commit
2024-11-19 17:43
6b9f5f1e
View on Github →
fix: assert_not_exists
CStarRing
that exists but not here (
#19226
)
Reported on Zulip
Estimated changes
Modified
Mathlib/Topology/ContinuousMap/Bounded/Basic.lean