Theorem Nat.left_ne_zero_of_mem_divisorsAntidiagonal

Modification history

2024-04-03 22:32
Mathlib/NumberTheory/Divisors.lean
feat(NumberTheory/LSeries/Dirichlet): new file, material on specific L-series (#11712) …
Added Nat.left_ne_zero_of_mem_divisorsAntidiagonalView on Github →