sympy_matrix_tools の…

jrf> sympy_matrix_tools の resolve_impliations。ForAll に変数が複数ある場合の allE をどうするかが問題。方法 1、ForAll は複数の変数を取らないようにする。…これは素直だが、読みにくくなる。ただ意味論的には正解。方法 2. allE だけ関数などにして複数変数は特別に扱う。この方が今の方針には合致しているが、これ以外特別な関数が他にいらないかが問題。