Mercurial > hg > Members > kono > Proof > galois
comparison sym4.agda @ 219:e6d7671d80a4
...
author | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
---|---|
date | Sun, 06 Dec 2020 11:44:20 +0900 (2020-12-06) |
parents | 59d12d02dfa8 |
children | d782dd481a26 |
comparison
equal
deleted
inserted
replaced
218:b9b39cfb3b74 | 219:e6d7671d80a4 |
---|