Theorem Set.OrdConnected.out

Modification history

2022-12-24 09:17

Mathlib/Data/Set/Intervals/OrdConnected.lean

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

Added Set.OrdConnected.out View on Github →