The state `single 1 r` on the concrete surface `(1, 1, 0)` admits a one-chart ideal atlas, with chart `x^r` and basis `(x^i)`, whose state measure is `q⁻ʳ` times the pushforward of the coefficient mea

Initializing...

The state `single 1 r` on the concrete surface `(1, 1, 0)` admits a one-chart ideal atlas, with chart `x^r` and basis `(x^i)`, whose state measure is `q⁻ʳ` times the pushforward of the coefficient mea · Prove2Me