feat(Analysis/ODE/GlobalExistence): prove unique, add_apply, and add_… - #67

Open

AdoHaha wants to merge 4 commits into

mcdoll:mainfrom

AdoHaha:feat/global-existence-proofs

Commits on Sep 7, 2026

feat(Analysis/ODE/GlobalExistence): prove unique, add_apply, and add_apply''
Igor
committed
796914b
feat(InputOutput): prove isGraph_inputOutput and isGraph_inputState
Igor
committed
dae4c72
feat(ODE): prove linear_fundamental_solution and linear_fundamental_solution'
Igor
committed
336ee32
feat(Dynamics): prove isCompleteVectorField for IsLinearlyBddVectorField
Igor
committed
87e7e02