Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-04-19 14:03 0dfac6eb

View on Github →

chore(*): speed up slow proofs (#7253) Proofs that are too slow for the forthcoming gsmul refactor. I learnt that by convert ... is extremely useful even to close a goal, when elaboration using the expected type is a bad idea.

Estimated changes