# Commit 2023-11-17 11:02 7c1536fc

View on Github →feat: add and use not_irreducible_pow (#8452)
Also rename `pow_not_prime`

theorems to match.
`not_irreducible_pow`

is extracted from flt-regular.

feat: add and use not_irreducible_pow (#8452)
Also rename `pow_not_prime`

theorems to match.
`not_irreducible_pow`

is extracted from flt-regular.