reflexive transitive closure is symmetric of original (#2115)
reflexive transitive closure is symmetric of original (#2115)

* reflexive transitive closure is symmetric if original

* Update src/logic/relation.lean

Co-Authored-By: Johan Commelin <759412786bc533369b22377bf83fb9056c5b25b2@commelin.net>

* Update src/logic/relation.lean

Co-Authored-By: Johan Commelin <759412786bc533369b22377bf83fb9056c5b25b2@commelin.net>

Co-authored-by: Johan Commelin <759412786bc533369b22377bf83fb9056c5b25b2@commelin.net>
Co-authored-by: mergify[bot] <b09a6ee808b67e98a221404e7aaa52e0398a4954@users.noreply.github.com>
leanprover-community/mathlib,leanprover-community/mathlib