The logical operator between the two subarguments was ambiguous—I assumed the total argument would be something like a lemma and a theorem that depends on the lemma, not a disjunction of propositions.
The logical operator between the two subarguments was ambiguous—I assumed the total argument would be something like a lemma and a theorem that depends on the lemma, not a disjunction of propositions.