Repository navigation

feat(Analysis/ODE/GlobalExistence): prove uniqueness and semigroup properties - #67

Merged

mcdoll merged 6 commits into

mcdoll:mainfrom

AdoHaha:feat/global-existence-proofs

Sep 18, 2026

Merged

feat(Analysis/ODE/GlobalExistence): prove uniqueness and semigroup properties#67
mcdoll merged 6 commits into
mcdoll:mainfrom
AdoHaha:feat/global-existence-proofs

Commits on Sep 15, 2026
- feat(Analysis/ODE/GlobalExistence): prove unique, add_apply, and add_apply''
  Igor
  committed
  6824bd1
- feat(ODE): prove linear_fundamental_solution and linear_fundamental_solution'
  Igor
  committed
  c275fcf
- feat(Dynamics): prove isCompleteVectorField for IsLinearlyBddVectorField
  Igor
  committed
  5b25ff4
- address_globalexistence_comments
  Igor
  committed
  c789b1b
Commits on Sep 16, 2026
- address_globalexistence_comments_2
  Igor
  committed
  b6718ec
Commits on Sep 18, 2026
- Merge branch 'main' into feat/global-existence-proofs
  mcdoll
  authored
  6569aef