diff options
| author |  Jade Philipoom <jadep@mit.edu> | 2015-11-10 12:15:33 -0500 |
|---|---|---|
| committer | Jade Philipoom <jadep@mit.edu> | 2015-11-10 12:15:33 -0500 |
| commit | 764fad993c02658fdd4302763a411f85cc136df7 (patch) | |
| tree | 9b7c7feb345b19f8afcc2ffd5a6370c682cc5dc4 /src/Galois/BaseSystem.v | |
| parent | 09a0ba95ded7e1b6b21cf1753bca6cbf2d28d78e (diff) | |
ModularBaseSystem: implemented fromGF and proved correct, moved inline admits about inject to GaloisTheory.
Diffstat (limited to 'src/Galois/BaseSystem.v')
0 files changed, 0 insertions, 0 deletions