Theorem Polynomial.cardinalMk_le_max

Modification history

2026-07-04 08:56

Mathlib/Algebra/Polynomial/Cardinal.lean

refactor(Algebra): make `MonoidAlgebra` into a one-field structure (#38714) …

Modified Polynomial.cardinalMk_le_max View on Github →

2024-11-13 10:39

Mathlib/Algebra/Polynomial/Cardinal.lean

chore: camel `cardinal_mk` (#18808) …

Added Polynomial.cardinalMk_le_max View on Github →