Commit 2020-06-30 05:20 af53c9d7
View on Github →chore(algebra/ring): move some classes to group_with_zero
(#3232)
Move nonzero
, mul_zero_class
and no_zero_divisors
to
group_with_zero
: these classes don't need (+)
.
chore(algebra/ring): move some classes to group_with_zero
(#3232)
Move nonzero
, mul_zero_class
and no_zero_divisors
to
group_with_zero
: these classes don't need (+)
.