Commit 2021-01-21 20:47 b2ca7614
View on Github →chore(algebra/group_power): add (a+b)^2=a^2+2ab+b^2
(#5838)
Also generalize 2 lemmas from comm_semiring
to semiring
.
chore(algebra/group_power): add (a+b)^2=a^2+2ab+b^2
(#5838)
Also generalize 2 lemmas from comm_semiring
to semiring
.