Mercurial > hg > Members > kono > Proof > galois
log sym5n.agda @ 189:d0b678eec506
age | author | description |
---|---|---|
2020-11-26 | Shinji KONO | ... base sym4.agda@334c0614aa10 |
age | author | description |
---|---|---|
2020-11-26 | Shinji KONO | ... base sym4.agda@334c0614aa10 |