Adams spectral sequence of ${\mathrm{tmf}}\wedge {\mathbb {RP}}^\infty$Conventions

## Conventions

We set $k = \mathbb {F}_2$, and write $x_{t - s, s}$ for a generator in the corresponding bidegree.