zibo yang (Jun 03 2021 at 12:49): zibo yang (Jun 03 2021 at 12:49):could anyone explain to me what exactly the error "using reset state" means
Jakub Kądziołka (Jun 03 2021 at 13:02):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"
zibo yang (Jun 03 2021 at 13:07):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: Apr 20 2024 at 04:19 UTC