chore: adaptations for nightly-2024-09-15

[jcommelin]

No description provided.

[github-actions]

PR summary f0e6420ec9

Import changes for modified files

No significant changes to the import graph

Import changes for all files

Files	Import difference
Mathlib.Data.Nat.Cast.NeZero	-19
11 files Mathlib.Data.Nat.Cast.WithTop Mathlib.Data.PNat.Equiv Mathlib.Data.PNat.Defs Mathlib.CategoryTheory.ConnectedComponents Mathlib.CategoryTheory.Category.Cat.Adjunction Mathlib.Algebra.Order.ZeroLEOne Mathlib.Algebra.Order.Monoid.NatCast Mathlib.Algebra.CharZero.Defs Mathlib.Algebra.Order.SuccPred Mathlib.Algebra.Order.Monoid.Unbundled.WithTop Mathlib.Algebra.Ring.Nat	-1

---

Declarations diff

+ binaryRec_one
- Nat.pos_of_neZero
- NeZero
- NeZero.ne
- NeZero.ne'
- Zero.{u}
- append_eq_cons_iff
- cons_eq_append_iff
- countP_join
- count_join
- getElem_attach
- getLast?_isSome
- instance (priority := 200) Zero.ofOfNat0 {α} [OfNat α (nat_lit 0)] : Zero α
- instance (priority := 300) Zero.toOfNat0 {α} [Zero α] : OfNat α (nat_lit 0)
- map_bind
- map_pbind
- map_tail
- mem_of_mem_getLast?
- mem_of_mem_head?
- mem_of_mem_tail
- neZero_iff
- neZero_zero_iff_false
- pmap_eq_none_iff
- pmap_eq_some_iff
- pmap_none
- pmap_some
- succ
- xor_assoc
- xor_comm
- xor_self
- xor_zero
- zero_xor

You can run this locally as follows

## summary with just the declaration names:
./scripts/declarations_diff.sh <optional_commit>

## more verbose report:
./scripts/declarations_diff.sh long <optional_commit>

The doc-module for script/declarations_diff.sh contains some details about this script.