Theorem AntitoneOn.mapsTo_Iic

Modification history

2026-09-08 16:08

Mathlib/Order/Interval/Set/Image.lean

chore(Order/Interval/Set/Image): use `to_dual` (#43584)

Deleted AntitoneOn.mapsTo_Iic View on Github →

2023-09-28 12:57

Mathlib/Data/Set/Intervals/Image.lean

feat(Data/Set/Intervals/Image): Complete API (#7146) …

Added AntitoneOn.mapsTo_Iic View on Github →