Mathlib Changelog
v3
Changelog
About
Github
Mathlib v3 is deprecated.
Go to Mathlib v4
Theorem
multiset.prod_X_sub_C_eq_sum_esymm
Modification history
2022-08-16 04:10
src/ring_theory/polynomial/vieta.lean
feat(ring_theory/polynomial/vieta): add version of prod_X_add_C_eq_sum_esymm for multiset (#15008) …
Added
multiset.prod_X_sub_C_eq_sum_esymm
View on Github →