Theorem NNReal.image_coe_Ici

Modification history

2026-01-20 01:13
Mathlib/Data/NNReal/Basic.lean
feat(NNReal): add lemmas about images of intervals (#34126)
Added NNReal.image_coe_IciView on Github →