Skip to content

Import demazureoperatorslean formalization - #89

Merged
Vilin97 merged 11 commits into
mainfrom
import/demazureoperatorslean
May 20, 2026
Merged

Import demazureoperatorslean formalization#89
Vilin97 merged 11 commits into
mainfrom
import/demazureoperatorslean

Merge origin/main into import/demazureoperatorslean

891ad0b
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar