Theorem Nat.Iio_factorization_prod_pow_injective

Modification history

2026-03-18 05:54
Mathlib/Data/Nat/Factorization/Divisors.lean
feat(Data/Nat/Factorization/Divisors): calculate divisors using prime factorization (#34554)
Added Nat.Iio_factorization_prod_pow_injectiveView on Github →