感覺proof pair {a,a’}是說a證明a’:

來源: 2024-01-19 09:50:25 [博客] [舊帖] [給我悄悄話] 本文已被閱讀:

https://bbs.wenxuecity.com/teatime/747555.html