Commit 2025-03-25 08:45 002f000f

View on Github →

chore(GroupTheory/Perm): rename arguments to swap_induction_on (#23290) This makes the induction tactic nicer to use.

Estimated changes