Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2023-03-14 18:20 1a313d8b

View on Github →

feat(order/initial_seg): add lemmas about acc and well_founded (#18527)

Estimated changes

added theorem {u}