Theorem ENNReal.natCast_le_ofNNReal

Modification history

2025-05-11 16:58
Mathlib/Data/ENNReal/Basic.lean
feat(ENNReal): more simp lemmas (#24781)
Added ENNReal.natCast_le_ofNNRealView on Github →