Preimage form of `strict_chart_coordinates_commute`: on the scaled coordinate lattice, the preimage of a set of child coordinate ideals is the scaled preimage under the child map.

Initializing...

Preimage form of `strict_chart_coordinates_commute`: on the scaled coordinate lattice, the preimage of a set of child coordinate ideals is the scaled preimage under the child map. · Prove2Me