TY - RPRT TI - Strictification theorems for the homotopy time-slice axiom AU - Marco Benini AU - Victor Carmona AU - Alexander Schenkel PY - 2023 DO - 10.1007/s11005-023-01647-1 UR - https://arxiv.org/abs/2208.04344 ID - 2208.04344 ER -