+ IsStableUnderBaseChange.pullback_fst_appTop
+ Scheme.homOfLE_appTop
+ Scheme.toSpecΓ_appTop
+ SpecIso_hom_appTop
+ SpecIso_inv_appTop_coord
+ comp_appTop
+ fromSpecStalk_appTop
+ homOfVector_appTop_coord
+ id_appTop
+ instance : HasAffineProperty (isomorphisms Scheme) fun X _ f _ ↦ IsAffine X ∧ IsIso (f.appTop) := by
+ instance : HasAffineProperty @IsFinite (fun X _ f _ ↦ IsAffine X ∧ RingHom.Finite (f.appTop)) := by
+ inv_appTop
+ isoOfIsAffine_hom_appTop
+ isoOfIsAffine_inv_appTop_coord
+ isoSpec_hom_appTop
+ isoSpec_inv_appTop
+ map_appTop_coord
+ morphismRestrict_appTop
+ preimage_basicOpen_top
+ reindex_appTop_coord
+ ι_appTop
++ appTop
- SpecIso_hom_app_top
- SpecIso_inv_app_top_coord
- homOfVector_app_top_coord
- instance : HasAffineProperty (isomorphisms Scheme) fun X _ f _ ↦ IsAffine X ∧ IsIso (f.app ⊤) := by
- instance : HasAffineProperty @IsFinite (fun X _ f _ ↦ IsAffine X ∧ RingHom.Finite (f.app ⊤)) := by
- isoOfIsAffine_hom_app_top
- isoOfIsAffine_inv_app_top_coord
- map_app_top_coord
- reindex_app_top_coord

## 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 2c4ed98e52
Reference commit b5155f3e85

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