Skip to content

refactor: remove 97 dead decoration lemmas + 2 unused imports (2026-07-17 tier2 cycle) - #4536

Merged
phasetr merged 3 commits into
mainfrom
refactor/dead-decoration-removal-2026-07-17
Jul 16, 2026
Merged

refactor: remove 97 dead decoration lemmas + 2 unused imports (2026-07-17 tier2 cycle)#4536
phasetr merged 3 commits into
mainfrom
refactor/dead-decoration-removal-2026-07-17

refactor(transfermatrix): drop redundant Mathlib.Tactic umbrella import

4c1145b
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
build
succeeded Jul 16, 2026 in 32m 16s