Theorem BddAbove.range_comp_left

Modification history

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