帰納的定義

Lean

帰納的定義では、リカーサ－（特殊なものとしてケース分析）の定義が問題だな。