Commit 2022-12-16 04:08 f976b5e6
View on Github →fix: two to_additive changes (#1057)
- Put configuration options of
to_additive
before other arguments - Generate equation lemmas and insert them in the dictionary even when the additive declaration already exists.