Theorem BddAbove.range_comp_right

Modification history

2026-07-13 01:22
Mathlib/Order/Bounds/Basic.lean
feat: function composition preserves boundedness (#33126) …
Added BddAbove.range_comp_rightView on Github →