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.