Theorem Bernoulli.not_dvd_num_bernoulli

Modification history

2026-08-17 07:49
Mathlib/NumberTheory/Bernoulli.lean
feat: add Bernoulli.dvd_den_bernoulli and related lemmas (#41718) …
Added Bernoulli.not_dvd_num_bernoulliView on Github →