エレファント・ビジュアライザー調査記録

ビジュアルプログラミングで数式の変形を表すことを考えていくブロクです。

対称式の基本定理・証明1・一般の場合

次に、一般の場合について証明します。その前に、基本対称式の定義をもう一度書いておきます。