Mathlib v3 is deprecated. Go to Mathlib v4

Theorem min_pow_dvd_add

Modification history

2022-07-01 08:11
src/algebra/group_power/basic.lean
refactor(algebra/group_power): split ring lemmas into a separate file (#15032) …
Modified min_pow_dvd_addView on Github →
2021-01-14 08:39
src/algebra/group_power/basic.lean
chore(*): split some long lines (#5742)
Modified min_pow_dvd_addView on Github →
2020-10-06 15:23
src/algebra/group_power/basic.lean
feat(data/polynomial/ring_division): add multiplicity of sum of polynomials is at least minimum of multiplicities (#4442) …
Added min_pow_dvd_addView on Github →