Over a local domain in which `π` is a nonzero nonunit, the normalized ideal `coordinateIdeal pi f b z` determines the coordinates `z`.

Initializing...

Over a local domain in which `π` is a nonzero nonunit, the normalized ideal `coordinateIdeal pi f b z` determines the coordinates `z`. · Prove2Me