Mercurial > hg > Members > kono > Proof > galois
directory / @ 6:c1b3c25d7cef
name | size | permissions |
---|---|---|
PermGroup.agda | 3776 | -rw-r--r-- |
Solvable.agda | 4414 | -rw-r--r-- |
name | size | permissions |
---|---|---|
PermGroup.agda | 3776 | -rw-r--r-- |
Solvable.agda | 4414 | -rw-r--r-- |