Tootfinder

Replaced article(s) found for math.CT. https://arxiv.org/list/math.CT/new
[1/1]:
- Strict Rezk completions of models of HoTT and homotopy canonicity
Rafa\"el Bocquet