At a common point of the two charts, the left and right multiplicities agree with the multiplicity computed on the overlap.

Initializing...

At a common point of the two charts, the left and right multiplicities agree with the multiplicity computed on the overlap. · Prove2Me