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

Estimated changes