Commit 2025-09-03 12:04 190cf1dd

View on Github →

chore: fix recursor names for Cycle.induction_on (#29289) To demonstrate the new names I also deprime three induction' uses working on this inductor.

Estimated changes