multiplication of bdd_above sets (#5859)

Commit

4 years ago

feat(algebra/pointwise): a lemma about pointwise addition/multiplication of bdd_above sets (#5859)

Author

alexjbest

Parents