Theorem ENNReal.sub_sub_sub_cancel_left

Modification history

2025-10-10 14:40
Mathlib/Data/ENNReal/Operations.lean
feat: `thickenedIndicator` is Lipschitz (#30346)
Added ENNReal.sub_sub_sub_cancel_leftView on Github →