更新。 sympy_matrix_tools。バージョン 0.2.6。…

jrf> 更新。

sympy_matrix_tools。バージョン 0.2.6。

ちょっとしたバグを取ったのと、先の方針 2 をとって forall_eresolve_implications を作った。