Mathlib Changelog
v3
Changelog
About
Github
Mathlib v3 is deprecated.
Go to Mathlib v4
Theorem
Set.mem_wf
Modification history
2023-03-23 15:25
src/set_theory/zfc/basic.lean
chore(*): golf using `acc_lift₂_iff` and `well_founded_lift₂_iff` (#18526)
Modified
Set.mem_wf
View on Github →
2022-07-19 03:29
src/set_theory/zfc.lean
feat(set_theory/zfc): `∈` is well-founded (#15213)
Added
Set.mem_wf
View on Github →