Commit 2023-05-04 16:30 eadc9bcc
View on Github →feat: well-founded or transitive relations don't have cycles (#3793) Match https://github.com/leanprover-community/mathlib/pull/18512
feat: well-founded or transitive relations don't have cycles (#3793) Match https://github.com/leanprover-community/mathlib/pull/18512