Watch this video to learn how to add your default proof terms to your settings.

Did this answer your question?