Relative dimension of a lifted local subspace: $\mathrm{R}(\mathrm{lift}_S(Y)) = \dim Y / 2^{|S|}$

Initializing...

Relative dimension of a lifted local subspace: $\mathrm{R}(\mathrm{lift}_S(Y)) = \dim Y / 2^{|S|}$ · Prove2Me