Theorem ODE.FunSpace.dist_comp_iterate_next_le

Modification history