Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-03-07 19:47 1b4ee53b

View on Github →

feat(algebra/associated): add pow_not_prime (#12493)

Estimated changes

added theorem of_irreducible_pow
added theorem pow_not_prime