Dependency changes

+ _
+ instance : (forget V G).Faithful where map_injective w := Hom.ext w
+ instance [DecidableEq α] : DecidableEq αˣ := fun _ _ => decidable_of_iff' _ Units.ext_iff
+ mem_getLast?_append_of_mem_getLast?
+ mem_head?_append_of_mem_head?
++++ ext_iff'
- AddContent.ext_iff
- Bornology.ext_iff
- MeasurableSpace.ext_iff
- Nodup.erase
- Nodup.erase_eq_filter
- Nodup.mem_erase_iff
- Nodup.not_mem_erase
- Nodup.sublist
- Perm.ext_iff
- Sublist.map
- eq_iff
- exists_eq_right'
- forall_mem_ne
- get!_none
- get!_some
- getLast?_append
- getLast_reverse
- head?_append
- head_mem
- head_replicate
- instance : (forget V G).Faithful where map_injective w := Hom.ext _ _ w
- instance [DecidableEq α] : DecidableEq αˣ := fun _ _ => decidable_of_iff' _ ext_iff
- isSome_map
- join_append
- join_concat
- join_reverse
- limit_ext_iff
- ne_nil_of_length_pos
- nodup_cons
- nodup_nil
- nodup_replicate
- pi_ext'_iff
- reverse_join
- sublist_replicate_iff
- takeWhile_cons_of_neg
- takeWhile_cons_of_pos
- unique_ext_iff
-++- ext
-+-+ Hom.ext'
-- subtype_ext_iff
--- ext_ring_iff
----------------------------------------------------------------------------------------------------------- ext_iff

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

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