Theorem Nat.ne_zero_of_mem_divisors

Modification history

2025-07-22 23:07

Mathlib/NumberTheory/Divisors.lean

feat(NumberTheory/Divisors): add `ne_zero_of_mem_divisors` (#27359) …

Added Nat.ne_zero_of_mem_divisors View on Github →