Theorem ENat.card_fun

Modification history

2026-05-27 17:34
Mathlib/SetTheory/Cardinal/Finite.lean
chore: deprecate duplicate theorems on `ENat` (#39854) …
Modified ENat.card_funView on Github →
2025-10-09 16:24
Mathlib/SetTheory/Cardinal/Finite.lean
feat(Cardinal/Finite): ENat powers and cardinality (#27216) …
Added ENat.card_funView on Github →