Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2019-10-26 10:17 b9798dc7

View on Github →

feat(data/nat): a lemma about min_fac (#1603)

  • feat(data/nat): a lemma about min_fac
  • feat(data/nat): a lemma about min_fac
  • use Rob's proof
  • fix
  • let's play golf
  • newline
  • use Chris' proof
  • cleaning up
  • rename per Chris' suggestions

Estimated changes