Theorem ODE.FunSpace.next_apply

Modification history