Additional Help

Using Anthem effectively can sometimes require sophisticated proof outlines. This section has a couple of example lemmas that may help.