Theorem ODE.FunSpace.next_apply₀

Modification history