Mercurial > hg > Members > kono > Proof > galois

comparison src/Symmetric.agda @ 296:7c1e3e0be315

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
...
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Sun, 03 Sep 2023 18:29:54 +0900
parents 6d1619d9f880
children d712d2a1f8bb 77f01da94c4e fff18d4a063b
comparison
equal deleted inserted replaced
295:cc81d3b1a82a 296:7c1e3e0be315