Mathlib v3 is deprecated. Go to Mathlib v4

Theorem add_pow_two

Modification history

2021-04-28 19:37
src/algebra/group_power/basic.lean
chore(*): use `sq` as convention for "squared" (#7368) …
Deleted add_pow_twoView on Github →
2021-01-21 20:47
src/algebra/group_power/basic.lean
chore(algebra/group_power): add `(a+b)^2=a^2+2ab+b^2` (#5838) …
Added add_pow_twoView on Github →