感觉proof pair {a,a’}是说a证明a’:

来源: 2024-01-19 09:50:25 [博客] [旧帖] [给我悄悄话] 本文已被阅读:

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