Vitali covering theorem

GPTKB entity