Ross–Fahroo lemma November 20, 2025 by jlamprecht https://en.wikipedia.org/wiki/Ross%E2%80%93Fahroo_lemma
