test/decl diff in lean dev

[adomani]

---

[github-actions]

PR summary f902ca3fd7

Import changes

No significant changes to the import graph

---

Declarations diff

+ listDeclsCore

You can run this locally as follows

## summary with just the declaration names:
./scripts/no_lost_declarations.sh short <optional_commit>

## more verbose report:
./scripts/no_lost_declarations.sh <optional_commit>

[github-actions]

Lean decl diff 09fc63fbc6

Lean decl diff

Declarations only in 3737992

Declarations only in 6186745

[github-actions]

Lean declaration difference f902ca3fd7

Declarations only in 1f71b4f
Mathlib.Meta.Another.eval_expr

Declarations only in 92377b4
Mathlib.Meta.eval_expr