+ instance : (pushforward.{v} (F := F ⋙ G) (φ ≫ whiskerLeft F.op ψ)).IsRightAdjoint
+ instance : (pushforward.{v} (F := F ⋙ 𝟭 D) (φ ≫ whiskerLeft F.op (𝟙 R))).IsRightAdjoint
+ instance : (pushforward.{v} (F := 𝟭 C ⋙ F) (𝟙 S ≫ whiskerLeft (𝟭 C).op φ)).IsRightAdjoint
+ instance : (pushforward.{v} (F := 𝟭 C) (𝟙 S)).IsRightAdjoint
+ pullbackComp
+ pullbackId
+ pullbackId_inv_app
+ pullback_assoc
+ pullback_comp_id
+ pullback_id_comp
+ pushforwardComp
+ pushforwardId
+ pushforward_assoc
+ pushforward_comp_id
+ pushforward_hom_app_assoc
+ pushforward_id_comp
+ pushforward_inv_app_assoc
+ unit_app_comp_pushforward_map_pullbackComp_hom

## 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 e2db97e769
Reference commit 64ce1d7195

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