Update README.md

README.md

@@ -1,4 +1,6 @@
 # Mathematics in type theory 非公式日本語訳
 
+注意⚠️： Mathematics in type theory の日本語訳のメンテは [xena-ja](https://github.com/lean-ja/xena-ja) に移管されました．issue や PR はこのリポジトリではなく，[xena-ja](https://github.com/lean-ja/xena-ja) にお願いします．
+
 * [原文](https://xenaproject.wordpress.com/2020/06/20/mathematics-in-type-theory/)
-* [対訳表](GLOSSARY.md)
+* [対訳表](GLOSSARY.md)