Dependency changes

+ Module.End.intCast_def
+ Module.End.natCast_def
+ Module.moduleEndSelf
+ Module.moduleEndSelfOp
+ Module.toModuleEnd
+ RingEquiv.moduleEndSelf
+ RingEquiv.moduleEndSelfOp
+ TwoSidedIdeal.orderIsoIsTwoSided
+ _root_.LinearMap.exists_ne_zero_of_sSup_eq
+ algebraMap_bijective_of_isIntegral
+ bot_asIdeal
+ domMulActCongrRight
+ exists_ne_zero_of_sSup_eq_top
+ instance (I : TwoSidedIdeal R) : I.asIdeal.IsTwoSided
+ instance : CanLift (Ideal R) (TwoSidedIdeal R) TwoSidedIdeal.asIdeal (·.IsTwoSided)
+ instance [Subsingleton R] : Subsingleton (RingCon R)
+ instance {I : Ideal R} [I.IsTwoSided] : I.jacobson.IsTwoSided
+ isCoatom_iff_eq_bot
+ isSimpleRing_iff_isTwoSided_imp
+ le_ker_iff_comp_subtype_eq_zero
+ linearProjOfIsCompl_surjective
+ mopMatrix
+ ne_zero_of_injective
+ ne_zero_of_surjective
+ nontrivial_congr
+ nontrivial_iff
+ ringHom_bijective_of_isIntegral
+ subsingleton_iff
+ top_asIdeal
+-+ isAtom_iff_eq_top
- End.intCast_def
- End.natCast_def
- algebraMap_surjective_of_isIntegral
- instance : CanLift (Ideal R) (TwoSidedIdeal R) TwoSidedIdeal.asIdeal
- toModuleEnd

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