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.
chore(GroupTheory/Perm): rename arguments to swap_induction_on
(#23290)
This makes the induction
tactic nicer to use.