Theorem isPrimePow_nat_iff_bounded_log

Modification history

2025-10-01 20:18
Mathlib/Algebra/IsPrimePow.lean
perf(Algebra/IsPrimePow): speed up decidability for Nat IsPrimePow (#30093) …
Added isPrimePow_nat_iff_bounded_logView on Github →