āb,L,i. ā©*[b,šā“iāµ] L ā ā ā
āf. šā¦fā¦ ā L ā¢ š
+ā¦#iā¦ ā ā«Æ*[i]āf.
#b #L elim L -L /2 width=1 by frees_atom/
āb,L,i. ā©*[b,šā“iāµ] L ā ā ā
āf. šā¦fā¦ ā L ā¢ š
+ā¦#iā¦ ā ā«Æ*[i]āf.
#b #L elim L -L /2 width=1 by frees_atom/