作者查詢 / keroro97

總覽項目： 發文 | 留言 | 暱稱
作者 keroro97 在 PTT 全部看板的留言(推文), 共2則
限定看板：全部
看板排序：
全部logic2<< 收起看板(1)
首頁
上一頁
1
下一頁
尾頁
Re: [請益] prover9
[ logic ]3 留言, 推噓總分: +1
作者: yauhh - 發表於 2010/01/28 20:01(16年前)
1F推keroro97:你的新寫法和我原來的不等價01/28 21:37
2F→keroro97:Assumption第二式Domain存在一個東西就炸掉了01/28 21:39
首頁
上一頁
1
下一頁
尾頁