Mathlib v3 is deprecated. Go to Mathlib v4

Theorem nat.prod_divisors_antidiagonal'

Modification history

2022-02-02 16:48
src/number_theory/divisors.lean
feat(number_theory): von Mangoldt function (#11727) …
Added nat.prod_divisors_antidiagonal'View on Github →