Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-04-22 06:38 07e9dd4c

View on Github →

feat(data/nat/prime): nat.factors_eq_nil and other trivial simp lemmas (#7284)

Estimated changes

added theorem nat.factors_eq_nil
added theorem nat.factors_one
added theorem nat.factors_zero