Author: Todd_Trimble Format: MarkdownItexThe statement had been laying dormant here for about a dozen years, without a proof. I've finally put some meat on the bones.
<a href="https://ncatlab.org/nlab/revision/diff/Day%27s+reflection+theorem/2">diff</a>, <a href="https://ncatlab.org/nlab/revision/Day%27s+reflection+theorem/2">v2</a>, <a href="https://ncatlab.org/nlab/show/Day%27s+reflection+theorem">current</a>
The statement had been laying dormant here for about a dozen years, without a proof. I’ve finally put some meat on the bones.