Mathlib Changelog
v4
Changelog
About
Github
Commit
2024-04-13 19:32
7e8cd2b7
View on Github →
feat(Data/Nat/Prime): add 2 theorems (
#11620
)
Estimated changes
Modified
Mathlib/Data/Nat/Prime.lean
added
theorem
Nat.not_prime_iff_exists_dvd_lt
added
theorem
Nat.not_prime_iff_exists_dvd_ne
added
theorem
Nat.not_prime_of_dvd_of_lt
added
theorem
Nat.not_prime_of_dvd_of_ne