mathlib3
1a313d8b - feat(order/initial_seg): add lemmas about `acc` and `well_founded` (#18527)

Commit

2 years ago

feat(order/initial_seg): add lemmas about `acc` and `well_founded` (#18527) Co-authored-by: Eric Wieser <wieser.eric@gmail.com>

Author

astrainfinita

Parents