Commit 2024-01-13 16:56 152f2d2e

View on Github →

feat(Order.Bounds): add prod versions of some pi lemmas (#9690)

Estimated changes

added theorem bddAbove_prod
added theorem bddAbove_range_prod
added theorem bddBelow_prod
added theorem bddBelow_range_prod