Mathlib v3 is deprecated. Go to Mathlib v4

Theorem continuous_on.exists_forall_ge'

Modification history

2022-04-17 10:27
src/topology/algebra/order/compact.lean
feat(topology/algebra/order): extreme value thm for a function continuous on a closed set (#13348)
Added continuous_on.exists_forall_ge'View on Github →