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: Dec 07 2023 at 20:16 UTC