Mathlib Changelog
v4
Changelog
About
Github
Theorem
upperSemicontinuousWithinAt_iff_limsup_le
Modification history
2024-02-29 14:27
Mathlib/Topology/Semicontinuous.lean
feat: Equivalent characterizations of lower- and upper-semicontinuous functions (#7851) …
Added
upperSemicontinuousWithinAt_iff_limsup_le
View on Github →