更新: Mathlib 補題・定理数のカウント! 2 D. 2026年3月23日 22:32 かなり久しぶりな観測。50万、近くになっていた!2026/03/23 22:28D. ダウンロード copy いいなと思ったら応援しよう! 🐺賢狼👨✈️Copilot のご飯代を、私には🍺代を。 または 宇宙式 $N+u^d=(P+u)^d$ を使って新しい発見を! チップで応援する #2026 #観測 #lean #mathlib 2