This article gives an overview of the tools available in the module enum and how to use them.
enum
I know a proof that there's irrational numbers that one to the power of the other give a rational number and this footer is almost the right size for it.
