Repository navigation

refactor: use existing lemmas instead of 51 private copies (#949) - #2190

Merged

SamuelSchlesinger merged 1 commit into

mainfrom

dupthm-delete-1

Nov 1, 2026

Merged

refactor: use existing lemmas instead of 51 private copies (#949)#2190
SamuelSchlesinger merged 1 commit into
mainfrom
dupthm-delete-1

Commits on Nov 1, 2026
- refactor: use existing lemmas instead of 51 private copies (#949)
  
  SamuelSchlesinger
  and
  claude
  committed
  5002513