mathlib

c5009dd7 - chore(data/equiv/basic): Add missing refl/trans/symm simp lemmas (#5223)