Chart coordinates commute with strict transforms: the strict transform of the coordinate ideal at `pi ^ (s + a - 1) • z` is the coordinate ideal at the child coordinate map of `z`.

Initializing...

Chart coordinates commute with strict transforms: the strict transform of the coordinate ideal at `pi ^ (s + a - 1) • z` is the coordinate ideal at the child coordinate map of `z`. · Prove2Me