Theorem MvPolynomial.cardinalMk_eq_max

Modification history

2026-03-26 09:32
Mathlib/Algebra/MvPolynomial/Cardinal.lean
refactor(Algebra/MvPolynomial): turn into an `abbrev` (#36678) …
Modified MvPolynomial.cardinalMk_eq_maxView on Github →
2024-11-13 10:39
Mathlib/Algebra/MvPolynomial/Cardinal.lean
chore: camel `cardinal_mk` (#18808) …
Added MvPolynomial.cardinalMk_eq_maxView on Github →