(Translated by https://www.hiragana.jp/)
matita - Wiktionary Jump to content