to_additive): order of to_additive relative to other attributes (#4065)

Commit

5 years ago

doc(algebra/group/to_additive): order of to_additive relative to other attributes (#4065)

References

Author

rwbarton

Parents