+ dOne_apply_mem_twoCocycles
+ dZero_apply_mem_oneCocycles
+ instance : FunLike (oneCoboundaries A) G A := ⟨Subtype.val, Subtype.val_injective⟩
+ instance : FunLike (twoCoboundaries A) (G × G) A := ⟨Subtype.val, Subtype.val_injective⟩
+ isMulOneCoboundary_of_mem_oneCoboundaries
+ isMulOneCocycle_of_mem_oneCocycles
+ isMulTwoCoboundary_of_mem_twoCoboundaries
+ isMulTwoCocycle_of_mem_twoCocycles
+ isOneCoboundary_of_mem_oneCoboundaries
+ isOneCocycle_of_mem_oneCocycles
+ isTwoCoboundary_of_mem_twoCoboundaries
+ isTwoCocycle_of_mem_twoCocycles
+ oneCoboundaries.coe_mk
+ oneCoboundaries.val_eq_coe
+ oneCoboundariesToOneCocycles
+ oneCoboundariesToOneCocycles_apply
+ oneCoboundaries_ext
+ oneCoboundaries_le_oneCocycles
+ twoCoboundaries.coe_mk
+ twoCoboundaries.val_eq_coe
+ twoCoboundariesToTwoCocycles
+ twoCoboundariesToTwoCocycles_apply
+ twoCoboundaries_ext
+ twoCoboundaries_le_twoCocycles
- isMulOneCoboundary_of_oneCoboundaries
- isMulOneCocycle_of_oneCocycles
- isMulTwoCoboundary_of_twoCoboundaries
- isMulTwoCocycle_of_twoCocycles
- isOneCoboundary_of_oneCoboundaries
- isOneCocycle_of_oneCocycles
- isTwoCoboundary_of_twoCoboundaries
- isTwoCocycle_of_twoCocycles
- mem_oneCoboundaries_iff
- mem_range_of_mem_oneCoboundaries
- mem_range_of_mem_twoCoboundaries
- mem_twoCoboundaries_iff
- oneCoboundariesOfEq
- oneCoboundariesOfEq_apply
- oneCoboundariesOfMemRange
- oneCoboundaries_of_mem_range_apply
- twoCoboundariesOfEq
- twoCoboundariesOfEq_apply
- twoCoboundariesOfMemRange
- twoCoboundariesOfMemRange_apply

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