无标题无名氏No.59333824 只看PO
2023-08-30(三)20:59:37 ID:SadlOUx 回应
Th1：空集是任意集合的子集 这个Th是啥(´ﾟДﾟ`)
无标题无名氏No.59338748
2023-08-31(四)02:48:03 ID: 4JSGn5R
theorem
无标题无名氏No.59356359
2023-09-01(五)15:41:24 ID: gAFL8MH
>>No.59333824 theorem 定理