Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-05-26 15:15 9630eca8

View on Github →

feat(data/nat/primes): lemmas about min_fac (#2790)

Estimated changes

added theorem nat.min_fac_eq_one_iff
added theorem nat.min_fac_eq_two_iff
added theorem nat.min_fac_sq_le_self