日语在线翻译

coinduction

coinduction