Mathlib Changelog
v3
Changelog
About
Github
Mathlib v3 is deprecated.
Go to Mathlib v4
Commit
2022-04-26 15:51
8b14d48f
View on Github →
feat(logic/relation): Transitive closure of well-founded relation is well-founded (
#13698
)
Estimated changes
Modified
src/logic/relation.lean
added
theorem
relation.well_founded.trans_gen