Theorem Int.prodMk_mem_divisorsAntidiag

Modification history

2025-02-17 12:13
Mathlib/NumberTheory/Divisors.lean
feat: finset of pairs of divisors of an integer (#21912) …
Added Int.prodMk_mem_divisorsAntidiagView on Github →