to_additive-like attribute for order_dual #7691
Labels
feature-request
This issue is a feature request, either for mathematics, tactics, or CI
t-meta
Tactics, attributes or user commands
Suggested by @PatrickMassot in #7684 (comment)
The text was updated successfully, but these errors were encountered: