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