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