Commit 2023-03-08 20:49 521b18ee

View on Github →

feat: Port/Data.Polynomial.Cardinal (#2627) Rename only.

Estimated changes

Modified Mathlib.lean

Created Mathlib/Data/Polynomial/Cardinal.lean

added theorem Polynomial.cardinal_mk_eq_max

added theorem Polynomial.cardinal_mk_le_max