TY  - RPRT
TI  - On the logical and computational properties of the Vitali covering theorem
AU  - Dag Normann
AU  - Sam Sanders
PY  - 2022
UR  - https://arxiv.org/abs/1902.02756
ID  - 1902.02756
ER  -