Edit requests of 確率論のσ加法族（ほんとは有限だけど）の自動生成を Sympy で書いてみた！