mathlib3
9d129dc2 - feat(algebra/bounds): a few lemmas like `bdd_above (-s) ↔ bdd_below s` (#8522)

Commit

4 years ago

feat(algebra/bounds): a few lemmas like `bdd_above (-s) ↔ bdd_below s` (#8522)

Author

urkud

urkud

Parents

Loading