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.