Theorem Set.image_subtype_val_uIoo

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