Theorem Polynomial.card_support_eq_zero

Modification history

2024-10-22 12:48

Mathlib/Algebra/Polynomial/Basic.lean

chore(Algebra): use newly introduced finset notation (#18053) …

Modified Polynomial.card_support_eq_zero View on Github →

2023-03-08 07:29

Mathlib/Data/Polynomial/Basic.lean

feat: port Data.Polynomial.Basic (#2620)

Added Polynomial.card_support_eq_zero View on Github →