Mathlib v3 is deprecated. Go to Mathlib v4

Theorem continuous_at.upper_semicontinuous_at

Modification history

2021-05-27 00:46

src/topology/semicontinuous.lean

feat(topology/semicontinuous): basics on lower and upper semicontinuous functions (#7693) …

Added continuous_at.upper_semicontinuous_at View on Github →