mathlib3
5e59fb48 - feat(algebra/ordered_pointwise): lemmas on smul of intervals (#8591)

Commit

4 years ago

feat(algebra/ordered_pointwise): lemmas on smul of intervals (#8591) Some lemmas about smul on different types of intervals, spun off from #2819

Author

alexjbest

Parents