在SPLAT中的概率推理結果非常乾淨！！ 對於論文中1.4的形式簡單性表示讚賞。 截圖顯示了鏈式法則。我喜歡即使沒有Lean知識也能跟隨計算部分。