@[reducible, inline]

abbrev Finset.OrdConnected {α : Type u_1} [Preorder α] (s : Finset α) : Prop

Equations

• s.OrdConnected = (↑s).OrdConnected