Theorem StrictAnti.image_Iio_subset

Modification history

2026-09-08 16:08
Mathlib/Order/Interval/Set/Image.lean
chore(Order/Interval/Set/Image): use `to_dual` (#43584)
Deleted StrictAnti.image_Iio_subsetView on Github →
2023-09-28 12:57
Mathlib/Data/Set/Intervals/Image.lean
feat(Data/Set/Intervals/Image): Complete API (#7146) …
Added StrictAnti.image_Iio_subsetView on Github →