It was noted in the bottom of the notes, this is a property I find useful when working with probability. Nothing else was changed, only the property is_probability_transition was added.