Theorem Cardinal.isPrimePow_iff

Modification history

2023-02-24 10:36
Mathlib/SetTheory/Cardinal/Divisibility.lean
feat: Port SetTheory.Cardinal.Divisibility (#2473)
Added Cardinal.isPrimePow_iffView on Github →