Mercurial > hg > Members > kono > Proof > galois
diff src/Solvable.agda @ 274:691b2ee844ef
...
author | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
---|---|
date | Thu, 26 Jan 2023 01:16:38 +0900 (2023-01-25) |
parents | 6d1619d9f880 |
children | 386ece574509 |
author | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
---|---|
date | Thu, 26 Jan 2023 01:16:38 +0900 (2023-01-25) |
parents | 6d1619d9f880 |
children | 386ece574509 |