日本語訳にあたっての必要な対応をする

[Seasawher]

原文のライセンスを確認
原文のどのバージョンの訳なのか明記
翻訳は非公式のものであり、lean-jaが管理するものであると明記

[Seasawher]

翻訳の許可はいただいたが，原著者が訳文をチェックしたかのような印象を与えてはいけない

leanprover/fp-lean#139 (comment)

[Seasawher]

参照している原文のバージョン：60624372e1b7f85967de2f9f2c906fb351e0469a

リンクにするなら: https://github.com/leanprover/fp-lean/tree/60624372e1b7f85967de2f9f2c906fb351e0469a