Theorem Int.mem_divisorsAntidiag

Modification history

2026-05-10 14:42
Mathlib/NumberTheory/Divisors.lean
chore(NumberTheory/Divisors): golf `Int.mem_divisorsAntidiag` (#38889) …
Modified Int.mem_divisorsAntidiagView on Github →
2025-02-17 12:13
Mathlib/NumberTheory/Divisors.lean
feat: finset of pairs of divisors of an integer (#21912) …
Added Int.mem_divisorsAntidiagView on Github →