normalization fails r4 in subdistributionsLast updated Oct 14, 2024Tags: normalization in Markov categories, normalization in a partial Markov.