Also, put X's := {|a| : a e X}, and more generally put es := {|a| ... |Dool | M. From ([loop) e XX and a' = y ar, we get a e ||[loop|M. By the theorem [loop ...
確定！ 回上一頁
