我觉得prop是重要性没有thm大的那些命题

【 在 vinbo 的大作中提到: 】
: 说起来我一直没搞清 proposition和theorem之间的界限在哪里
:
--
FROM 106.127.248.*