Merge pull request #1160 from lean-ja/Seasawher/issue1153

plausibleの見出し上の位置がおかしい

Author: Seasawher

booksrc/SUMMARY.md

@@ -164,6 +164,7 @@
   - [nth_rw: n 番目の項だけ rw](./Reference/Tactic/NthRw.md)
   - [obtain: 分解して取り出す](./Reference/Tactic/Obtain.md)
   - [omega: 自然数の線形計画を解く](./Reference/Tactic/Omega.md)
+  - [plausible: 反例を見つける](./Reference/Tactic/Plausible.md)
   - [positivity: 正値性を示す](./Reference/Tactic/Positivity.md)
   - [push_neg: ドモルガン](./Reference/Tactic/PushNeg.md)
   - [qify: 有理数にキャストする](./Reference/Tactic/Qify.md)
@@ -183,7 +184,6 @@
   - [show: 示すべきことを宣言](./Reference/Tactic/Show.md)
   - [simp_all: 仮定とゴールを全て単純化](./Reference/Tactic/SimpAll.md)
   - [simp: 単純化](./Reference/Tactic/Simp.md)
-  - [plausible: 反例を見つける](./Reference/Tactic/Plausible.md)
   - [sorry: 証明したことにする](./Reference/Tactic/Sorry.md)
   - [split: if/match 式を分解](./Reference/Tactic/Split.md)
   - [suffices: 十分条件に帰着](./Reference/Tactic/Suffices.md)