feat: prove independent increments for Poisson process#4

slink merged 1 commit intomainslink/LeanLevy:mainfrom

worktree-agent-a8ebe494slink/LeanLevy:worktree-agent-a8ebe494Copy head branch name to clipboard