extr): extr on closure (#12281)

Commit

3 years ago

feat(topology/algebra/order/extr): extr on closure (#12281) Prove `is_max_on.closure` etc

Author

urkud

Parents