Theorem Set.image_subtype_val_Iic_subset

Modification history

2026-09-08 16:08
Mathlib/Order/Interval/Set/Image.lean
chore(Order/Interval/Set/Image): use `to_dual` (#43584)
Modified Set.image_subtype_val_Iic_subsetView on Github →
2023-08-03 05:30
Mathlib/Data/Set/Intervals/Image.lean
feat: add instances for intervals (#5957) …
Added Set.image_subtype_val_Iic_subsetView on Github →