Commit 2026-03-02 12:12 6cc493fe

View on Github →

chore(Algebra/Group/Finsupp): fix argument names (#35706)

Estimated changes

modified theorem Finsupp.induction_on_max
modified theorem Finsupp.induction_on_max₂
modified theorem Finsupp.induction_on_min
modified theorem Finsupp.induction_on_min₂