order): extreme value thm for a function continuous on a closed set (#13348)

Commit

3 years ago

feat(topology/algebra/order): extreme value thm for a function continuous on a closed set (#13348)

Author

urkud

Parents