+ instance : CStarModule A A
+ the
- equivOfInnerₗᵢ
- equivₗᵢ
- inner_eq_inner
- instNormedAddCommGroupOfInner
- instance : CStarModule A (C⋆ᵐᵒᵈ A)
- instance : Norm (C⋆ᵐᵒᵈ A)
- instance : NormedAddCommGroup (C⋆ᵐᵒᵈ A)
- instance : NormedSpace ℂ (C⋆ᵐᵒᵈ A) := .ofCore normedSpaceCore
- instance : NormedSpace ℂ (C⋆ᵐᵒᵈ E) := .ofCore normedSpaceCore
- instance {E : Type*} [NormedAddCommGroup E] [InnerProductSpace ℂ E] :
- norm_equiv
- norm_equiv_of_inner

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