Commit 2022-12-13 13:05 6fe63faa
View on Github →hack: to_additive copies more attributes (#954)
to_additive
now copiesext
,coe
,refl
,symm
,trans
- Implemented in a hacky way
- This could be used until a proper solution is available.
hack: to_additive copies more attributes (#954)
to_additive
now copies ext
, coe
, refl
, symm
, trans