Theorem EReal.coe_add_eq_top_iff

Modification history

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