Theorem Set.dual_uIcc

Modification history

2024-02-05 18:00

Mathlib/Data/Set/Intervals/UnorderedInterval.lean

refactor(Data/FunLike): use unbundled inheritance from FunLike (#8386) …

Modified Set.dual_uIcc View on Github →

2023-01-22 15:33

Mathlib/Data/Set/Intervals/UnorderedInterval.lean

chore: Rename intervals to `uIcc`/`uIoc` (#1496) …

Added Set.dual_uIcc View on Github →