Template:Metamath

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

Usage:
 *  

Metamath: :