Theorem MonoidAlgebra.cardinalMk_of_infinite'

Modification history

2025-12-12 14:05
Mathlib/Algebra/MonoidAlgebra/Cardinal.lean
feat(Algebra/MonoidAlgebra): cardinality of monoid algebras (#32588) …
Added MonoidAlgebra.cardinalMk_of_infinite'View on Github →