Recentring for two division charts of the same rank whose centres generate the same ideal modulo `π` (see `division_data_same_cell_recenter`).

Initializing...

Recentring for two division charts of the same rank whose centres generate the same ideal modulo `π` (see `division_data_same_cell_recenter`). · Prove2Me