Theorem Set.image_subtype_val_uIcc

Modification history

2026-01-20 01:13
Mathlib/Order/Interval/Set/OrdConnected.lean
feat(NNReal): add lemmas about images of intervals (#34126)
Added Set.image_subtype_val_uIccView on Github →