Theorem wellFounded_iff_principalSeg.{u}

Modification history

2023-03-31 17:01
Mathlib/Order/InitialSeg.lean
feat: port #18527 (#3190) …
Added wellFounded_iff_principalSeg.{u}View on Github →