2026/5/30 建立 用 Prover9 找等式證明 2026/5/30 建立 代數理論的 presentation 2026/4/29 建立 關於交換群 Eckmann–Hilton argument