diff options
| author |  Jade Philipoom <jadep@mit.edu> | 2016-01-13 12:19:14 -0500 |
|---|---|---|
| committer | Jade Philipoom <jadep@mit.edu> | 2016-01-13 12:19:14 -0500 |
| commit | 97cd9a342824b3d6ceac707ca1aab5e552075b3f (patch) | |
| tree | 030d14a47bc31123686d0e09ed5e67c8b106e579 /src/Galois/GaloisExamples.v | |
| parent | 71553f59573301744c7d34aeec6a371ee50a65cf (diff) | |
euler's criterion reduced to fermat's little theorem and two lemmas about primitive roots.
Diffstat (limited to 'src/Galois/GaloisExamples.v')
0 files changed, 0 insertions, 0 deletions