Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-04-22 12:15 62205c27

View on Github →

refactor(data/nat/factorization): Infer arguments (#13595)

Estimated changes

Modified src/data/nat/factorization.lean

modified theorem nat.dvd_iff_div_factorization_eq_tsub

modified theorem nat.factorization_eq_zero_of_non_prime