Theorem ODE.picard_apply₀

Modification history