proved
| Godel's Second Incompleteness Theorem explained in words of one syllable | proven | Jensen inequality | preorder traversal |
| prove | CSE | theorem |
Y'know, if you log in, you can write something here, or contact authors directly on the site. Create a New User if you don't already have an account.