feat: helper lemmas for use in the planned strong norm proof#381
Open
WegmannDavid wants to merge 12 commits intoleanprover:mainfrom
Open
feat: helper lemmas for use in the planned strong norm proof#381WegmannDavid wants to merge 12 commits intoleanprover:mainfrom
WegmannDavid wants to merge 12 commits intoleanprover:mainfrom
Commits
Commits on Feb 28, 2026
Commits on Mar 1, 2026
- committed
- andauthored
- andauthored
- andauthored
- andauthored
- andauthored
- andauthored
- andauthored
- andauthored
- andauthored
- andauthored
