Mercurial > hg > Members > kono > Proof > galois
directory / @ 71:da1677fae9ac
| name | size | permissions |
|---|---|---|
 .hgtags
|
49 | -rw-r--r-- |
|
Gutil.agda
|
5735 | -rw-r--r-- |
|
Putil.agda
|
13772 | -rw-r--r-- |
|
Solvable.agda
|
4131 | -rw-r--r-- |
|
Symmetric.agda
|
4094 | -rw-r--r-- |
|
sym2.agda
|
4900 | -rw-r--r-- |
|
sym3.agda
|
1295 | -rw-r--r-- |
|
sym5.agda
|
632 | -rw-r--r-- |