P
Initializing...
The scaled strict map is `π` times the child coordinate map; · Prove2Me