Scaling the coordinates by `a ∈ O` multiplies their lift by the image of `a`. · Prove2Me

P

Initializing...

Scaling the coordinates by `a ∈ O` multiplies their lift by the image of `a`. · Prove2Me