Mercurial > hg > Members > kono > Proof > galois
log
age | author | description |
---|---|---|
Thu, 27 Aug 2020 08:29:56 +0900 | Shinji KONO | (x : Permutation 1 1 ) → x =p= pid |
Thu, 27 Aug 2020 01:19:32 +0900 | Shinji KONO | ... |
Wed, 26 Aug 2020 23:53:40 +0900 | Shinji KONO | ... |
Wed, 26 Aug 2020 19:53:24 +0900 | Shinji KONO | ... |
Wed, 26 Aug 2020 19:21:42 +0900 | Shinji KONO | ... pleq worked |
Wed, 26 Aug 2020 19:09:32 +0900 | Shinji KONO | plist0 |