Before revision: Ross' lemma, named after I. Michael Ross, is a fundamental result in computational optimal control.
After revision: Ross' lemma, named after I. Michael Ross, is a result in computational optimal control.