Theorem MvPolynomial.as_sum

Modification history

2024-05-27 08:32

Mathlib/Algebra/MvPolynomial/Basic.lean

chore: Use the new `∑ i ∈ s, f i` notation (#13209) …

Modified MvPolynomial.as_sum View on Github →

2023-03-15 08:33

Mathlib/Data/MvPolynomial/Basic.lean

feat: port Data.MvPolynomial.Basic (#2861)

Added MvPolynomial.as_sum View on Github →