mathlib3
reflexive transitive closure is symmetric of original
#2115

Merged

reflexive transitive closure is symmetric of original #2115

mergify merged 4 commits into leanprover-community:master from b-mehta:symm_rel

reflexive transitive closure is symmetric if original

3b640a73

jcommelin commented on 2020-03-09

Update src/logic/relation.lean

5e2488f4

jcommelin commented on 2020-03-09

Update src/logic/relation.lean

10fc950e

jcommelin approved these changes on 2020-03-09

jcommelin added ready-to-merge

Merge branch 'master' into symm_rel

79c4b142

mergify merged 25df8842 into master 6 years ago

b-mehta deleted the symm_rel branch 6 years ago

Reviewers

jcommelin

Assignees

No one assigned

Labels

ready-to-merge

Milestone

No milestone