proofpattern @ ウィキ

proofpattern @ ウィキ内検索 / 「inversion」で検索した結果

• inversion
  ... タクティック inversion を適用する。 なぜなら、 inversionは異なるコンストラクタの等式から矛盾を導く。
• メニュー
  ...d exfalso inversion Reductionに関するパターン red simpl compute 変換に関するパターン rewrite   ???に関するパターン specialize assert 帰納法に関するパターン induction elim   右メニュー  
• @wiki全体から「inversion」で調べる

更新順にページ一覧表示 | 作成順にページ一覧表示 | ページ名順にページ一覧表示 | wiki内検索