Commit 2025-06-23 10:32 ee5b18c7
View on Github →chore(Tactic/ToAdditive): remove deprecated to_additive_reorder syntax (#26017)
The current syntax is to_additive (reorder := ...)
chore(Tactic/ToAdditive): remove deprecated to_additive_reorder syntax (#26017)
The current syntax is to_additive (reorder := ...)