m+n と n+m が区別される例

Updates available but manual intervention required

`String.take` / `drop` と `String.Slice` による文字列スライス例を追加したい

めも。mathlib phrasebook

メモ。#print opaque

`rw` がラムダ内部で効かないときの `simp_rw` 例を追加したい

検証用のコマンドを自前定義している個所の見直しをする

Theorem Proving in Lean 4 の内容をカバーする

テストコードの再編

#grind_lint のページのコード例が甘い