Theorem MonoidAlgebra.cardinalMk_lift_of_infinite'

Modification history

2026-03-26 09:32
Mathlib/Algebra/MonoidAlgebra/Cardinal.lean
refactor(Algebra/MvPolynomial): turn into an `abbrev` (#36678) …
Deleted MonoidAlgebra.cardinalMk_lift_of_infinite'View on Github →
2025-12-12 14:05
Mathlib/Algebra/MonoidAlgebra/Cardinal.lean
feat(Algebra/MonoidAlgebra): cardinality of monoid algebras (#32588) …
Added MonoidAlgebra.cardinalMk_lift_of_infinite'View on Github →