Mathlib Changelog
v4
Changelog
About
Github
Commit
2024-07-09 09:09
9a393b37
View on Github →
chore(Topology/ContinuousFunction/Ordered) remove porting note (
#14553
)
Estimated changes
Modified
Mathlib/Topology/ContinuousFunction/Ordered.lean