classical): speed up slow proof (#7894)

Commit

4 years ago

chore(algebra/lie/classical): speed up slow proof (#7894) Squeeze a simp in a proof that has just timed out on bors

Author

sgouezel

Parents