Commit 2024-04-17 13:17 e4721ccd

View on Github →

chore: adaptations for nightly-2024-04-07 (#12214)

Estimated changes

Modified Counterexamples/Phillips.lean

Modified Mathlib/Data/Nat/Dist.lean

modified theorem Nat.dist_comm

modified theorem Nat.dist_self

Modified Mathlib/NumberTheory/FermatPsp.lean

Modified Mathlib/NumberTheory/ZetaFunction.lean