Mathlib v3 is deprecated. Go to Mathlib v4

Theorem well_founded_lift_on₂'_iff

Modification history

2023-04-07 22:13
src/order/rel_iso/basic.lean
chore(order/rel_iso/basic): better `namespace` management (#18758) …
Modified well_founded_lift_on₂'_iffView on Github →
2023-03-23 15:25
src/order/rel_iso/basic.lean
chore(*): golf using `acc_lift₂_iff` and `well_founded_lift₂_iff` (#18526)
Added well_founded_lift_on₂'_iffView on Github →