+ bind_congr''
+ instance (priority := 100) LinearOrder.toLattice {α : Type u} [LinearOrder α] : Lattice α
+ instance : CategoryStruct (Pairwise ι)
+ rootHashGeneration
+ toNat_lt''
- Lex.cons_iff
- add_div
- bind_congr
- dvd_gcd_mul_gcd_iff_dvd_mul
- dvd_gcd_mul_iff_dvd_mul
- dvd_mul
- dvd_mul_gcd_iff_dvd_mul
- ediv_emod_unique'
- emod_eq_add_self_emod
- emod_lt
- eq_or_lt_of_le
- gcd_add_mul_left_left
- gcd_add_mul_left_right
- gcd_add_mul_right_left
- gcd_add_mul_right_right
- gcd_add_self_left
- gcd_add_self_right
- gcd_mul_left_add_left
- gcd_mul_left_add_right
- gcd_mul_right_add_left
- gcd_mul_right_add_right
- gcd_self_add_left
- gcd_self_add_right
- gcd_self_sub_left
- gcd_self_sub_right
- gcd_sub_self_left
- gcd_sub_self_right
- ge_of_eq
- instance (priority := 100) LinearOrder.toLattice {α : Type u} [o : LinearOrder α] : Lattice α
- le_of_eq
- le_of_mul_le_mul_right
- le_or_lt
- le_rfl
- lt_iff_le_and_ne
- lt_of_le_of_lt
- lt_of_lt_of_le
- lt_or_eq_of_le
- lt_or_le
- lt_or_lt_of_ne
- mul_mod_mod
- mul_sub
- natAbs_ediv
- natCast_succ
- pow_dvd_pow_iff
- pow_left_inj
- pow_lt_pow_left
- sub_mul
- toNat_le
- toNat_le_toNat
- toNat_lt'
- toNat_lt_toNat
- zero_le_ofNat

## 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.

Current commit 0ad3ebf440
Reference commit 7c7049eb2a

You can run this locally as

./scripts/technical-debt-metrics.sh pr_summary

• The relative value is the weighted sum of the differences with weight given by the inverse of the current value of the statistic.
• The absolute value is the relative value divided by the total sum of the inverses of the current values (i.e. the weighted average of the differences).