Two division charts whose centres generate the same ideal modulo `π` have the same rank.

Initializing...

Two division charts whose centres generate the same ideal modulo `π` have the same rank. · Prove2Me