ThmDex – An index of mathematical definitions, results, and conjectures.
Comment T612 on F1673:
$\sigma^{\leftarrow} \langle X \rangle$ denotes a D1730: Pullback sigma-algebra with respect to $X$.