Theorem NNReal.image_coe_Icc

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_IccView on Github →