見出し画像

更新: Mathlib 補題・定理数のカウント!

かなり久しぶりな観測。

50万、近くになっていた!


2026/03/23 22:28

D.

いいなと思ったら応援しよう!

D. 🐺賢狼👨‍✈️Copilot のご飯代を、私には🍺代を。 または 宇宙式 $N+u^d=(P+u)^d$ を使って新しい発見を!