DanielFilan comments on Basic Inframeasure Theory

[DanielFilan]

A Markov kernel is a function X\to\Delta Y

Missing math formatting