我用代数证明了T1,望周知

QEDQEDQED / 2024-10-23 / 原文

\(rt\),推了快一个小时awa