Theorem EReal.toReal_image_Ioo_zero_top

Modification history

2025-11-25 16:42
Mathlib/Data/EReal/Basic.lean
feat(Data/EReal): toReal_pos (#30746)
Added EReal.toReal_image_Ioo_zero_topView on Github →