+ ContinuousLinearMap.Splits
+ Submodule.ClosedComplemented.prod
+ Submodule.map_add
+ Submodule.sum_assoc
+ _root_.ContinuousLinearEquiv.splits
+ antilipschitzConstant
+ antilipschitzWith
+ antilipschitz_aux
+ closedComplemented
+ comp
+ compCLE_left
+ compCLE_right
+ complement
+ complement_isClosed
+ complement_isCompl
+ congr
+ disjoint_aux
+ injective
+ isClosedMap
+ isClosed_range
+ of_injective_of_finiteDimensional
+ of_injective_of_finiteDimensional_of_completeSpace
+ prodMap

## 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 78dc2d53f2
Reference commit 24d904ee7b

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