ダウンロード

§18.帰納的に定義される数、和と積の記号