Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2018-04-05 00:59 08f19fde

View on Github →

chore(data/nat/prime): style and minor modifications

Estimated changes

added theorem nat.factors_lemma
modified theorem nat.perm_of_prod_eq_prod