Image:Proofstep.gif
From Wikipedia, the free encyclopedia
No higher resolution available.
Proofstep.gif (592 × 369 pixels, file size: 12 KB, MIME type: image/gif)
| This is a file from the Wikimedia Commons. The description on its description page there is shown below.
|
| Description |
Metamath substitution mechanism |
|---|---|
| Source | |
| Date |
9-Jul-2007 |
| Author |
Norman Megill |
| Permission (Reusing this image) |
http://creativecommons.org/licenses/publicdomain/ |
[edit] Licensing
  |
This file has been released explicitly into the public domain by its author, using the Creative Commons Public Domain Dedication This file may be used for any purpose including unrestricted redistribution, commercial use, and modification. |
File history
Click on a date/time to view the file as it appeared at that time.
| Date/Time | Dimensions | User | Comment | |
|---|---|---|---|---|
| current | 09:14, 9 July 2007 | 592×369 (12 KB) | Frédéric Liné | ({{Information |Description=Metamath substitution mechanism |Source=http://us2.metamath.org:8888/mpegif/mmset.html |Date=9-Jul-2007 |Author=Norman Megill |Permission=http://creativecommons.org/licenses/publicdomain/ |other_versions= }} ) |
File links
The following pages on the English Wikipedia link to this file (pages on other projects are not listed):
