+ eTruncGEIsoGEGE
+ eTruncGEIsoGEGE_hom_inv_id_app
+ eTruncGEIsoGEGE_inv_hom_id_app
+ eTruncGEToGEGE
+ eTruncLTGEIsoGELT
+ eTruncLTGEIsoGELT_hom_app_fac
+ eTruncLTGEIsoGELT_hom_app_fac'
+ eTruncLTGEIsoGELT_hom_naturality
+ eTruncLTGEIsoGELT_naturality_app
+ eTruncLTGELTSelfToGELT
+ eTruncLTGELTSelfToLTGE
+ eTruncLTLTIsoLT
+ eTruncLTLTIsoLT_hom_inv_id_app
+ eTruncLTLTIsoLT_inv_hom_id_app
+ eTruncLTLTIsoLT_inv_hom_id_app_eTruncLT_obj
+ eTruncLTLTToLT
+ instance (X : C) (n : ℤ) [t.IsGE X n] (i : EInt) :
+ instance (X : C) (n : ℤ) [t.IsLE X n] (i : EInt) :
+ instance (a : EInt) (X : C) : IsIso ((t.eTruncLT.obj a).map ((t.eTruncLTι a).app X))
+ instance (a : EInt) (X : C) : IsIso ((t.eTruncLTι a).app ((t.eTruncLT.obj a).obj X)) := by
+ instance : IsIso (t.eTruncLTGELTSelfToGELT a b) := by
+ instance : IsIso (t.eTruncLTGELTSelfToLTGE a b) := by
+ isIso_eTruncGEIsoGEGE
+ isIso_eTruncGE_obj_map_truncGEπ_app
+ isIso_eTruncLTLTIsoLT
+ isIso_eTruncLT_obj_map_truncLTπ_app

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

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

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

Current commit 3baa91d70f
Reference commit b029f5e21d

You can run this locally as

./scripts/reporting/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).