Template:Mizar

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

Usage

 *  

Mizar article