+ BooleanAlgebra.h1904Algebra
+ H1904Algebra
+ H1904Algebra.huntingtonAlgebra
+ H1904Algebra.robbinsAlgebra
+ HuntingtonAlgebra
+ RobbinsAlgebra
+ add_assoc
+ add_mul_left
+ add_mul_right
+ add_neg_self
+ add_zero
+ distribLattice
+ exists_idempotent
+ exists_one
+ exists_zero
+ h1904Algebra
+ huntington'
+ huntingtonAlgebra
+ instance : SMul ℕ α where smul := smul
+ instance : Std.Associative (α := α) (· * ·) := ⟨mul_assoc⟩
+ instance : Std.Commutative (α := α) (· * ·) := ⟨mul_comm⟩
+ mann_33
+ mann_34
+ mann_35
+ mann_36
+ mann_37
+ mann_38
+ mann_39
+ mann_40
+ mann_44
+ mann_45
+ mann_46
+ mann_47
+ mann_48
+ mann_49
+ mann_50
+ mann_51
+ mann_52
+ mann_53
+ mann_54
+ mul
+ mul_add_left
+ mul_add_right
+ mul_comm
+ mul_def
+ mul_neg_self
+ mul_one
+ neg_neg_with_add
+ neg_one
+ neg_self_add
+ neg_self_mul
+ neg_unique
+ neg_zero
+ one
+ one_add
+ one_def
+ one_mul
+ q
+ smul
+ smul1
+ smul2
+ smul3
+ smul4
+ smul5
+ smul_succ
+ winker
+ zero
+ zero_add
+ zero_def
+ zero_mul
++ add_one
++ add_self
++ add_self_mul
++ booleanAlgebra
++ instance : Std.Associative (α := α) (· + ·) := ⟨add_assoc⟩
++ mul_assoc
++ mul_self
++ mul_self_add
++ mul_zero
++ neg_add
++ neg_mul
+++ neg_neg

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

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