194| 4
|
请教能不能把一个定理里引用的其它一串定理都列举出来? |
| ||
![]()
Comment这只是对一个命题列出了直接的引用,主楼想要的是那一串必要命题,一直推到最开始的定义。
| ||
![]()
| ||
Author|
abababa
Posted at 2023-10-11 16:48:45
| ||
手机版Mobile version|Leisure Math Forum
2025-4-20 22:11 GMT+8
Powered by Discuz!