Good evening @jstac , this PR rephrases a redundant sentence in lecture uc_mc_semigroups:
Conversely, if $S$ is finite, then any Markov semigroup $(P_t)$ is a UC Markov semigroup. -->> Conversely, if $S$ is finite, then any Markov semigroup $(P_t)$ is UC.
Good evening @jstac , this PR rephrases a redundant sentence in lecture uc_mc_semigroups:
Conversely, if $S$ is finite, then any Markov semigroup $(P_t)$ is a UC Markov semigroup.-->>Conversely, if $S$ is finite, then any Markov semigroup $(P_t)$ is UC.