mathlib

7397db78 - chore(data/sym2) : simplify proofs (#3522)

chore(data/sym2) : simplify proofs (#3522) This shouldn't change any declarations, only proofs. Co-authored-by: Aaron Anderson <awainverse@gmail.com>