# Commit 2019-07-07 20:48 89174191

View on Github →chore(data/equiv/algebra): use `to_additive`

(#1191)

- Define
`add_equiv`

and`add_equiv.*`

using`to_additive`

- Simplify some instances

chore(data/equiv/algebra): use `to_additive`

(#1191)

- Define
`add_equiv`

and`add_equiv.*`

using`to_additive`

- Simplify some instances