Theorem Nat.divisors_eq_empty

Modification history

2025-12-05 18:16
Mathlib/NumberTheory/Divisors.lean
feat(Data/Finset/Empty): add `@[push]` tags for pushing negation (#32195) …
Modified Nat.divisors_eq_emptyView on Github →
2023-12-25 12:41
Mathlib/NumberTheory/Divisors.lean
feat: add some missing API lemmas about `Nat.properDivisors` and `Nat.primeFactors` (#8858)
Added Nat.divisors_eq_emptyView on Github →