basic): reduce additivity checks to one case (#18080)

Commit

3 years ago

feat(algebra/group/basic): reduce additivity checks to one case (#18080) Co-authored-by: Yury G. Kudryashov <urkud@urkud.name>

Author

alreadydone

Parents