Add Conclusion


 

Use the menu " To Prove" in the main menu or button to add the conclusion for the theorem.

 

 

JGEX Help