Commit 2026-03-18 09:21 23528203

feat: processes with independent increments (#36718) Define a predicate stating that a stochastic process has independent increments. Prove an equivalent definition using sequences instead of Fin. Prove some basic invariance properties.