Theorem IsPrimePow.not_isUnit

Modification history

2026-08-03 08:56
Mathlib/Algebra/IsPrimePow.lean
chore: rename `IsPrimePow.not_unit` to `IsPrimePow.not_isUnit` (#42389)
Added IsPrimePow.not_isUnitView on Github →