Theorem Int.Prime.dvd_natAbs_of_coe_dvd_sq

Modification history

2022-12-29 23:16
Mathlib/Data/Int/NatPrime.lean
feat: port Data.Int.NatPrime (#1264)
Added Int.Prime.dvd_natAbs_of_coe_dvd_sqView on Github →