Mathlib Changelog
v4
Changelog
About
Github
Commit
2024-11-11 16:21
6caaed66
View on Github →
feat: add a lemma
Set.MapsTo.preimage_mem_nhdsWithin
(
#18851
)
Estimated changes
Modified
Mathlib/Topology/ContinuousOn.lean
deleted
theorem
EventuallyEq.mem_interior_iff
added
theorem
Filter.EventuallyEq.mem_interior_iff
added
theorem
Set.MapsTo.preimage_mem_nhdsWithin