Theorem ENat.epow_eq_one_iff

Modification history

2025-10-09 16:24
Mathlib/Data/ENat/Pow.lean
feat(Cardinal/Finite): ENat powers and cardinality (#27216) …
Added ENat.epow_eq_one_iffView on Github →