ThmDex – An index of mathematical definitions, results, and conjectures.
Comment T613 on F3746:
$\sigma_{\text{pullback}} \langle f \rangle$ denotes a D1730: Pullback sigma-algebra with respect to $f$.