Commit 2025-09-11 07:19 91e4c39b

View on Github →

chore: fix two sets of induction recursor names (#29537) Both in Algebra.Polynomial. We also deprime induction in the same files. These were split off from #29291.

Estimated changes