Mercurial > hg > Members > kono > Proof > galois
directory / @ 10:04f40fc4eb69
name | size | permissions |
---|---|---|
Solvable.agda | 6343 | -rw-r--r-- |
Symmetric.agda | 3782 | -rw-r--r-- |
name | size | permissions |
---|---|---|
Solvable.agda | 6343 | -rw-r--r-- |
Symmetric.agda | 3782 | -rw-r--r-- |