nth_rewriteの記述追加

[s-taiga]

下記内容についてのプルリクエストです。

https://github.com/lean-ja/tactic-cheetsheet/issues/1

[Seasawher]

Examples と src のファイルには Examples → src の単射ができるようにしてください．CONTRIBUTING.md には

新しいタクティクのコード例を追加したら，Examples.lean ファイルに追記してください．

と書いていたので誤解があっても仕方ない気がしていて，申し訳ないのですが，nth_rewrite.md を作成していない以上，NthRewrite.lean は作らないでください．

後で CONTRIBUTING.md を直しておきます．

[Seasawher]

mdbook の機能として

-- ANCHOR: first
example : (x + y) ^ 2 = x ^ 2 + 2 * x * y + y ^ 2 := by
  ring
-- ANCHOR_END: first

上記のような感じで ANCHOR でくくると，md ファイル上で括られている部分だけを以下のように引用できます．

{{#include ../Examples/Ring.lean:first}}

これを使って Rw.lean にコード例を追記してください．

[s-taiga]

上記対応しました。

[Seasawher]

ライブラリの依存関係は needs: という書き方で本文中に書いてください．

コード例に import 文を含めないでください．

[Seasawher]

お疲れ様です．こちらで多少手を加えてマージしようと思います．