Theorem EReal.add_eq_top_iff_eq_top_left

Modification history

2026-08-25 15:52
Mathlib/Data/EReal/Operations.lean
feat(EReal): add_eq_top_iff_eq_top_* (#41288) …
Added EReal.add_eq_top_iff_eq_top_leftView on Github →