Theorem ENat.card_prod

Modification history

2025-10-09 16:24
Mathlib/SetTheory/Cardinal/Finite.lean
feat(Cardinal/Finite): ENat powers and cardinality (#27216) …
Modified ENat.card_prodView on Github →
2025-03-17 08:40
Mathlib/SetTheory/Cardinal/Finite.lean
feat(Data/Set/Card): Encard multiplication (#22676)
Added ENat.card_prodView on Github →