I'll add description later
But for now you can find the related write up here (doc to lift) and the related result here (arch_index)
I'll add description later
But for now you can find the related write up here (doc to lift) and the related result here (arch_index)