grind_pattern ドキュメントに _ ワイルドカード必須の利用例を追加#2342

Copilot wants to merge 5 commits into

mainlean-ja/lean-by-example:mainfrom

copilot/fix-grind-pattern-documentationlean-ja/lean-by-example:copilot/fix-grind-pattern-documentationCopy head branch name to clipboard