could anyone explain to me what exactly the error "using reset state" means
That means something like "you're in the middle of a proof, and you're trying to state another lemma, so I'm forgetting about the previous one"
Jakub Kądziołka said:
That means something like "you're in the middle of a proof, and you're trying to state another lemma, so I'm forgetting about the previous one"
great, that is my fault.
Last updated: Oct 12 2024 at 20:18 UTC