Template:Metamath

Template
The purpose of this template is to provide a link to a page in Metamath.

Usage
Metamath: :