Mercurial > hg > Members > kono > Proof > galois
comparison src/sym3.agda @ 256:e295aaee8c65
fix
author | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
---|---|
date | Sat, 09 Jan 2021 10:25:31 +0900 |
parents | 6d1619d9f880 |
children | 77f01da94c4e |
comparison
equal
deleted
inserted
replaced
255:6d1619d9f880 | 256:e295aaee8c65 |
---|