Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2018-08-22 19:46 0934d7d9

View on Github →

refactor(data/nat/prime): mem_factors_iff_dvd (#272)

Estimated changes

Modified data/list/basic.lean

added theorem list.dvd_prod

Modified data/nat/prime.lean

added theorem nat.mem_factors_iff_dvd

deleted theorem nat.mem_factors_of_dvd