Search
No Lemmas Found
Browse...
Apply Lemma
Axioms, Rules, and Tactics
Lemmas
{{lemma.name}}
Apply:
verbatim
prop
auto
{{lemma.conclusion}}
Sorry, no tactics applicable here. Try working on formulas from outside in, starting from the left.