Mercurial > hg > Members > kono > Proof > galois
directory / @ 49:8b3b95362ca9
name | size | permissions |
---|---|---|
Gutil.agda | 5735 | -rw-r--r-- |
Putil.agda | 6987 | -rw-r--r-- |
Solvable.agda | 3009 | -rw-r--r-- |
Symmetric.agda | 3615 | -rw-r--r-- |
name | size | permissions |
---|---|---|
Gutil.agda | 5735 | -rw-r--r-- |
Putil.agda | 6987 | -rw-r--r-- |
Solvable.agda | 3009 | -rw-r--r-- |
Symmetric.agda | 3615 | -rw-r--r-- |