Mercurial > hg > Members > kono > Proof > galois
directory / @ 7:ec1cb153af22
name | size | permissions |
---|---|---|
Solvable.agda | 4903 | -rw-r--r-- |
Symmetric.agda | 3782 | -rw-r--r-- |
name | size | permissions |
---|---|---|
Solvable.agda | 4903 | -rw-r--r-- |
Symmetric.agda | 3782 | -rw-r--r-- |