Mathlib v3 is deprecated. Go to Mathlib v4

Theorem nat.factors_subset_of_dvd

Modification history

2022-12-08 18:41

src/data/nat/factors.lean

chore(data/nat/prime): reduce imports more (#17854) …

Modified nat.factors_subset_of_dvd View on Github →

2021-07-13 15:34

src/data/nat/prime.lean

chore(data/nat/prime): fix + add missing lemmas (#8066) …

Added nat.factors_subset_of_dvd View on Github →