[codex] rcases の rfl パターンを紹介#2349

Seasawher wants to merge 1 commit into

mainlean-ja/lean-by-example:mainfrom

codex/rcases-rfl-patternlean-ja/lean-by-example:codex/rcases-rfl-patternCopy head branch name to clipboard