Repository navigation

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

Commits on May 17, 2026
- Vendor DemazureOperatorsLean core
  Vilin97
  committed
  f478f34
Commits on May 18, 2026
- Merge branch 'main' into import/demazureoperatorslean
  Vilin97
  authored
  ce8359f
- Add Demazure operator source citation
  Vilin97
  committed
  772af98
- Regenerate project card
  Vilin97
  committed
  9ea20e5
Commits on May 19, 2026
- Complete Demazure Coxeter theory import
  Vilin97
  committed
  e699d58
- Merge origin/main into import/demazureoperatorslean
  Vilin97
  committed
  0014fcf
- Restore Demazure strong exchange and Matsumoto checks
  Vilin97
  committed
  fe95201
- Clarify conditional Matsumoto result
  Vilin97
  committed
  9e469ca
- Add Coxeter source metadata for Demazure import
  Vilin97
  committed
  ce54d83
- Clarify Demazure auxiliary theorem framing
  Vilin97
  committed
  a38d9f2
Commits on May 20, 2026
- Merge origin/main into import/demazureoperatorslean
  Vilin97
  committed
  891ad0b