termination_by 利用時に rfl / decide が失敗する具体例を TerminationBy に追加#2323

Copilot wants to merge 3 commits into

mainlean-ja/lean-by-example:mainfrom

copilot/fix-termination-by-issuelean-ja/lean-by-example:copilot/fix-termination-by-issueCopy head branch name to clipboard