Shinji KONO (kono@ie.u-ryukyu.ac.jp), University of the Ryukyus
Gutil.agda Gutil
Homomorphism.agda Homomorphism
NormalSubgroup.agda NormalSubgroup
FLComm.agda FLComm
FLutil.agda FLUtil
Putil.agda Putil
Solvable.agda Solvable
Symmetric.agda Symmetric
sym2.agda sym2
sym2n.agda sym2n
sym3n.agda sym3n
sym4.agda sym4
sym5.agda sym5
sym5n.agda sym5n