Mathlib v3 is deprecated. Go to Mathlib v4

Theorem nat.min_fac_lemma

Modification history

2022-01-31 15:42
src/data/nat/prime.lean
feat(algebra/squarefree): norm_num extension for squarefree (#11666) …
Added nat.min_fac_lemmaView on Github →