Mathlib Changelog
v4
Changelog
About
Github
Commit
2022-12-29 23:16
37a7fc80
View on Github →
feat: port Data.Int.NatPrime (
#1264
)
Estimated changes
Modified
Mathlib.lean
Created
Mathlib/Data/Int/NatPrime.lean
added
theorem
Int.Prime.dvd_natAbs_of_coe_dvd_sq
added
theorem
Int.not_prime_of_int_mul
added
theorem
Int.succ_dvd_or_succ_dvd_of_succ_sum_dvd_mul