Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-04-19 01:55 0ceac44d

View on Github →

feat(data/nat/prime) factors of a prime number is the list [p] (#2452) The factors of a prime number are [p].

Estimated changes