File:Metamath-theorem-avril1-indexed.png

Screenshot of http://us.metamath.org/mpegif/avril1.html. Since the page is linked from http://us.metamath.org/mpegif/mmtheorems54.html#avril1, the source page itself is public domain according to http://us2.metamath.org:8888/copyright.html, section "Some Web Pages - Public Domain". I release all rights to the screenshot itself also.