Planar symmetry audit
Embedding · decomposition · connectivity · scope
47/47
gates
17
planar groups
L1
main theorem
2×2
VTM premise
n=3
embedding theorem
2D ≠ 3D
Figure 8 scope