James Arthur

Results 1 issues of James Arthur

Add `@[to_additive]` to cyclic group and amend documentation. --- * adds `@[to_additive]` to the cyclic group. * amends documentation with more accurate defintion. [![Open in Gitpod](https://gitpod.io/button/open-in-gitpod.svg)](https://gitpod.io/from-referrer/)

WIP
awaiting-author
merge-conflict
too-late