Template:Metamath
From ProofWiki
The purpose of this template is to provide a link to a page in Metamath.
Usage:
{{Metamath
|name=name of html file on Metamath (without .html), e.g. equid
|type=Type of page, e.g. Theorem, Axiom, Definition etc.
|desc=User-friendly description, e.g. Identity law for equality
}}
