Theorem Set.OrdConnected.dual

Modification history

2022-12-24 09:17

Mathlib/Data/Set/Intervals/OrdConnected.lean

feat: port Data.Set.Intervals.OrdConnected (#1186)

Added Set.OrdConnected.dual View on Github →