mathlib

25df8842 - 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 <johan@commelin.net> * Update src/logic/relation.lean Co-Authored-By: Johan Commelin <johan@commelin.net> Co-authored-by: Johan Commelin <johan@commelin.net> Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>