mathlib3

57bbd9ec - chore(order/symm_diff): Generalize to co-Heyting algebras (#16282)

chore(order/symm_diff): Generalize to co-Heyting algebras (#16282) Generalize the `symm_diff` material from `(generalized_)boolean_algebra` to `(generalized_)coheyting_algebra`.