Mercurial > hg > Members > kono > Proof > category
log
| age | author | description |
|---|---|---|
| Sat, 31 Jul 2021 06:58:48 +0900 | Shinji KONO | add Todo |
| Wed, 19 May 2021 09:00:25 +0900 | Shinji KONO | xf fix |
| Tue, 18 May 2021 15:38:46 +0900 | Shinji KONO | Topos Sets char-iso done |
| Tue, 18 May 2021 01:06:43 +0900 | Shinji KONO | iso-char in Sets Topos |
| Mon, 17 May 2021 09:31:44 +0900 | Shinji KONO | ... |
| Mon, 17 May 2021 09:30:48 +0900 | Shinji KONO | could be. but give up now |
| Mon, 17 May 2021 01:19:00 +0900 | Shinji KONO | give up. assuming x ∙ ○ b is Polynominal |
| Mon, 17 May 2021 00:43:02 +0900 | Shinji KONO | no good |