Theorem dvd_smul_of_dvd

Modification history

2023-09-26 09:02
Mathlib/Algebra/Ring/Divisibility/Lemmas.lean
feat: lemmas about divisibility, mostly related to nilpotency (#7355)
Added dvd_smul_of_dvdView on Github →