Animation 275
What relationship is dynamically being illustrated in the applet below? How can you formally prove what is dynamically being illustrated here?
What relationship is dynamically being illustrated in the applet below? How can you formally prove what is dynamically being illustrated here?