P
Initializing...
y ↦ y + εξ(y) is a coordinate change · Prove2Me