Commit 2025-04-22 14:35 b9122028

feat(to_additive (reorder := ..)): reorder arguments in Prod.pow_mk (#24283) In #3632, to_additive gained the ability to reorder cycles of arguments. Thus Prod.pow_mk can now have the desired ordering of its arguments. Actually, the (reorder := 6 7) that was there previously was incorrect. We should employ a check that to_additive existing does the correct thing, such as in #21719.