User:Lord Farin/Sandbox

This page exists for me to be able to test out features I am developing. Also, incomplete proofs may appear here.

Feel free to comment.