<var>p, q, r</var><span class="hyp-type"><b>: </b><span><span class="kt">Prop</span></span></span></span><br><span><var>H</var><span class="hyp-type"><b>: </b><span>p <span class="bp">‚àß</span> q</span></span></span><br></div><label class="goal-separator" for="literate-lean3-lean-chka"><hr></label><div class="goal-conclusion">p</div></blockquote></div></div></div></small><span class="alectryon-wsp">
</span></span><span class="alectryon-wsp">    </span><span class="alectryon-sentence"><input class="alec