partial_fixpoint の健全性に関する説明と実証コードを追加#2336

Copilot wants to merge 3 commits into

mainlean-ja/lean-by-example:mainfrom

copilot/explain-partial-fixpoint-soundnesslean-ja/lean-by-example:copilot/explain-partial-fixpoint-soundnessCopy head branch name to clipboard