Skip to content

Style: lemma for steps, theorem for main results - #30

Merged
MarcIlunga merged 1 commit into
mainfrom
lemma-style
Oct 13, 2026
Merged

Style: lemma for steps, theorem for main results#30
MarcIlunga merged 1 commit into
mainfrom
lemma-style

Style: lemma for steps, theorem for main results

d32729a
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar