Theorem NNReal.image_coe_Ioc

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