Koopman lifting preserves all dynamical predictions, making the linear/nonlinear distinction pragmat...
This proposition has not been edited since the history system was added.