#Mathtodon はこの年末のどこかで小一時間(目標の)メンテナンスしようと思います。なんか繋がらないと思われたら、生暖かく arXiv なりなんなりでもご覧になられながらお待ち下さい。

$\exists$ Maintenance time $M$ such that $M \subset$ from now to the end of the year and $|M| < 1\ \mbox{hour}$

#Mathtodon開発 #MathtodonDev