Mathlib Changelog
v3
Changelog
About
Github
Mathlib v3 is deprecated.
Go to Mathlib v4
Theorem
well_founded_lift₂_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₂_iff
View 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)
Modified
well_founded_lift₂_iff
View on Github →
2022-08-08 19:01
src/order/rel_iso.lean
feat(order/rel_iso): `well_founded (quotient.lift₂ r H) ↔ well_founded r` (#15890)
Added
well_founded_lift₂_iff
View on Github →