Skip to content

Mark two results as theorems instead of lemmas - #126

Merged
RemyDegenne merged 1 commit into
mainfrom
blueprint
Jun 13, 2026
Merged

Mark two results as theorems instead of lemmas#126
RemyDegenne merged 1 commit into
mainfrom
blueprint

mark two results as theorems instead of lemmas

4afb152
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

The logs for this run have expired and are no longer available.