Random picker of a theorem from a set of theorems.
-
Updated
Mar 5, 2021 - Julia
Random picker of a theorem from a set of theorems.
Add a description, image, and links to the theorems topic page so that developers can more easily learn about it.
To associate your repository with the theorems topic, visit your repo's landing page and select "manage topics."