operations): add missing `to_additive` tags on galois lemmas (#9225)

Commit

4 years ago

fix(group_theory/submonoid/operations): add missing `to_additive` tags on galois lemmas (#9225)

Author

eric-wieser

Parents