Mercurial > hg > Members > kono > Proof > galois
directory / @ 22:ae586c068d01
name | size | permissions |
---|---|---|
Gutil.agda | 5735 | -rw-r--r-- |
Solvable.agda | 3009 | -rw-r--r-- |
Symmetric.agda | 6530 | -rw-r--r-- |
name | size | permissions |
---|---|---|
Gutil.agda | 5735 | -rw-r--r-- |
Solvable.agda | 3009 | -rw-r--r-- |
Symmetric.agda | 6530 | -rw-r--r-- |