Theorem MvPolynomial.eval₂_id

Modification history

2024-04-14 10:41

Mathlib/Algebra/MvPolynomial/Basic.lean

chore: remove autoImplicit from more files (#11798) …

Modified MvPolynomial.eval₂_id View on Github →

2023-04-20 12:31

Mathlib/Data/MvPolynomial/Basic.lean

feat: port Data.MvPolynomial.Funext (#3225)

Added MvPolynomial.eval₂_id View on Github →