def MeasureTheory.«termσ(_)» : Lean.ParserDescr

Sigma-algebra generated by a random variable.

TODO: Generalise this notation to several variables.

Equations

• One or more equations did not get rendered due to their size.