Commit 2026-08-03 08:56 d586c71e

View on Github →

chore: rename IsPrimePow.not_unit to IsPrimePow.not_isUnit (#42389)

Estimated changes

added theorem IsPrimePow.not_isUnit
deleted theorem IsPrimePow.not_unit
modified theorem IsUnit.not_isPrimePow