TY  - RPRT
TI  - Note on $\mathsf{TD} + \mathsf{DC}_\mathbb{R}$ implying $\mathsf{AD}^{L(\mathbb{R})}$
AU  - Sean Cody
PY  - 2021
UR  - https://arxiv.org/abs/2110.01135
ID  - 2110.01135
ER  -