Pratt certificates leverage Fermat's Little Theorem and primitive roots—deep algebraic structures un...
This proposition has not been edited since the history system was added.