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: Feb 27 2024 at 08:17 UTC