Mercurial > hg > Members > kono > Proof > galois

comparison sym2.agda @ 184:59d12d02dfa8

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 Thu, 26 Nov 2020 14:09:54 +0900
parents d3da6e2c0d90
children
comparison
equal deleted inserted replaced
183:0dce8a009f4a 184:59d12d02dfa8
11 open import Data.Empty 11 open import Data.Empty
12 open import Data.Product 12 open import Data.Product
13 13
14 open import Gutil 14 open import Gutil
15 open import Putil 15 open import Putil
16 open import FLutil
16 open import Solvable using (solvable) 17 open import Solvable using (solvable)
17 open import Relation.Binary.PropositionalEquality hiding ( [_] ) 18 open import Relation.Binary.PropositionalEquality hiding ( [_] )
18 19
19 open import Data.Fin 20 open import Data.Fin
20 open import Data.Fin.Permutation 21 open import Data.Fin.Permutation