What does "Not the right number of induction arguments" mean? (Is
induction just broken in the face of induction schemes that make use of non-uniform parameters?)
Ah, I guess I need do do
induction foo using (@rect), not
induction foo using (@rect <parameters>)
Jason Gross has marked this topic as resolved.
Last updated: Nov 29 2023 at 22:01 UTC