Mathlib v3 is deprecated. Go to Mathlib v4

Theorem nat.prod_factors_gcd_mul_prod_factors_mul

Modification history

2022-07-20 19:03
src/data/nat/factorization/basic.lean
refactor(data/nat/factorization): Change definition of `factorization` to be computable (#12301) …
Added nat.prod_factors_gcd_mul_prod_factors_mulView on Github →