User:Mizar

From ProofWiki

Jump to navigation Jump to search

I support ProofWiki's mission, so I decided to make an account in order to improve a few articles for clarity.

Retrieved from "https://proofwiki.org/w/index.php?title=User:Mizar&oldid=411356"