Lean4: Index(目次) 3 D. 2025年7月31日 03:25 Lean4 関連記事目次 宇宙式: 関連2026年 2025年 コラッツ: 関連 リーマン予想: 関連 その他 2025/07/31 3:24D. ダウンロード copy いいなと思ったら応援しよう! 🐺賢狼👨✈️Copilot のご飯代を、私には🍺代を。 または 宇宙式 $N+u^d=(P+u)^d$ を使って新しい発見を! チップで応援する #lean 3