Theorem IsPrimePow.not_unit

Modification history

2026-08-03 08:56
Mathlib/Algebra/IsPrimePow.lean
chore: rename `IsPrimePow.not_unit` to `IsPrimePow.not_isUnit` (#42389)
Deleted IsPrimePow.not_unitView on Github →
2023-01-30 00:50
Mathlib/Algebra/IsPrimePow.lean
feat: Port Algebra.IsPrimePow (#1925)
Added IsPrimePow.not_unitView on Github →