おっと。とても素晴らしく、よくできていました。 これらのツールが若い数学者や数学にどのような影響を与えるのか興味があります。 数学の勉強に必要な苦労の一つは、決して解けない証明を痛々しく振り返ることですが、この演習は構造や直感を育むのに良いことです。