Theorem MonoidAlgebra.cardinalMk_of_fintype

Modification history

2025-12-12 14:05

Mathlib/Algebra/MonoidAlgebra/Cardinal.lean

feat(Algebra/MonoidAlgebra): cardinality of monoid algebras (#32588) …

Added MonoidAlgebra.cardinalMk_of_fintype View on Github →