mathlib3

c65de1e6 - chore(data/sym/sym2): speed up some proofs (#9677)

chore(data/sym/sym2): speed up some proofs (#9677) In one test, elaboration of sym2_ext went from 46.9s to 734ms, and of elems_iff_eq from 54.3s to 514ms.