Theorem ODE.FunSpace.exists_isFixedPt_next

Modification history