Compatible systems of chart generators `gA`, `gB` that are regular, agree on the overlap and are normalized at level one can be replaced by glued generators generating the same ideals at every level.

Initializing...

Compatible systems of chart generators `gA`, `gB` that are regular, agree on the overlap and are normalized at level one can be replaced by glued generators generating the same ideals at every level. · Prove2Me