theorem Th29: :: JGRAPH_3:29

Sq_Circ " is Function of (TOP-REAL 2),(TOP-REAL 2)