Commit 2022-12-13 13:05 6fe63faa

View on Github →

hack: to_additive copies more attributes (#954)

  • to_additive now copies ext, coe, refl, symm, trans
  • Implemented in a hacky way
  • This could be used until a proper solution is available.

Estimated changes