Mathlib Changelog
v4
Changelog
About
Github
Commit
2024-02-21 16:46
7a17e9de
View on Github →
chore: add some
fun_prop
attributes for continuity (
#10769
)
Estimated changes
Modified
Mathlib/Topology/Algebra/Monoid.lean
Modified
Mathlib/Topology/Algebra/Polynomial.lean
Modified
Mathlib/Topology/ContinuousOn.lean
added
theorem
Continuous.comp_continuousOn'