Mercurial > hg > Members > kono > Proof > galois
directory / @ 11:9dae7ef74342
name | size | permissions |
---|---|---|
Solvable.agda | 7441 | -rw-r--r-- |
Symmetric.agda | 3782 | -rw-r--r-- |
name | size | permissions |
---|---|---|
Solvable.agda | 7441 | -rw-r--r-- |
Symmetric.agda | 3782 | -rw-r--r-- |