Theorem dvd_add
Modification history
2022-10-11 09:55
src/algebra/ring/basic.lean
chore(algebra/ring/basic): move results on dvd (#16864) …
Modified dvd_addView on Github →2022-05-28 05:34
src/algebra/ring/basic.lean
feat(algebra/ring/basic): Generalize theorems on distributivity (#14140) …
Modified dvd_addView on Github →2021-01-21 20:47
src/algebra/ring/basic.lean
chore(algebra/group_power): add `(a+b)^2=a^2+2ab+b^2` (#5838) …
Modified dvd_addView on Github →