Jason Gross (Apr 11 2023 at 03:48): Jason Gross (Apr 11 2023 at 03:48):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?)
Jason Gross (Apr 11 2023 at 03:56):Ah, I guess I need do do induction foo using (@rect), not induction foo using (@rect <parameters>)
Notification Bot (Apr 11 2023 at 03:56):Jason Gross has marked this topic as resolved.
Last updated: Nov 29 2023 at 22:01 UTC