Thank you for your article. I appreciate this article but I found some mistranslations in Japanese edition so I created PR.
points of this PR
"T, &T, and &mut T are disjoint finite sets" should be translated into "T, &T, and &mut T は共通部分を持たない有限集合です" (line54 in Japanese edition and line56 in English Edition)
"&T and &mut T are disjoint sets." should be translated into "&Tと&mut Tは共通部分を持たない集合なのです" (line61 in Japanese edition and line63 in English Edition)
Hello,
Thank you for your article. I appreciate this article but I found some mistranslations in Japanese edition so I created PR.
points of this PR
"T, &T, and &mut T are disjoint finite sets" should be translated into "T, &T, and &mut T は共通部分を持たない有限集合です" (line54 in Japanese edition and line56 in English Edition)
"
&Tand&mut Tare disjoint sets." should be translated into "&Tと&mut Tは共通部分を持たない集合なのです" (line61 in Japanese edition and line63 in English Edition)Thanks !