Mathlib v3 is deprecated. Go to Mathlib v4

Theorem well_founded_iff_well_founded_subrel

Modification history

2023-03-14 18:20

src/order/initial_seg.lean

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

Added well_founded_iff_well_founded_subrel View on Github →