log

age author description
2022-08-05 Shinji KONO ...
2022-08-03 Shinji KONO ...
2022-08-03 Shinji KONO ...
2022-08-02 Shinji KONO remove unnesesary part in SZ1 the second TransFinite induction for is-max
2022-08-02 Shinji KONO ...
2022-08-02 Shinji KONO u<x in UChain again
2022-08-02 Shinji KONO ...
2022-08-01 Shinji KONO ...
2022-08-01 Shinji KONO order done
2022-08-01 Shinji KONO ...
2022-08-01 Shinji KONO ...
2022-08-01 Shinji KONO ...
2022-07-31 Shinji KONO ...
2022-07-31 Shinji KONO sup=SUP is no good