なんか Lean/mathlib の株が上がっていきそうな気がするので、今後のキャリア形成という意味ではコントリビュートしておいて損はないのかも‥？？？ leanprover.github.io/mathlib…