ThmDex – An index of mathematical definitions, results, and conjectures.
Comment T626 on F764:
$f(X)$ denotes the D528: Map image of $X$ in $f$.