fix misleading definition of f#1870

mo271 wants to merge 2 commits intogoogle-deepmind:maingoogle-deepmind/formal-conjectures:mainfrom

mo271:theorem1_lemma3mo271/formal-conjectures:theorem1_lemma3Copy head branch name to clipboard