log

age author description
2022-12-21 Shinji KONO this is no good
2022-12-20 Shinji KONO ...
2022-12-20 Shinji KONO index version
2022-12-20 Shinji KONO fix comments
2022-12-19 Shinji KONO order removal
2022-12-18 Shinji KONO try to hide spu from source
2022-12-18 Shinji KONO supf-idem is not so easy
2022-12-18 Shinji KONO order may come from supf-idem
2022-12-17 Shinji KONO Added tag release for changeset a92aacd3d83a
2022-12-17 Shinji KONO Added tag current for changeset 7ec55b1bdfc2 release
2022-12-17 Shinji KONO Zorn done
2022-12-17 Shinji KONO done?
2022-12-17 Shinji KONO 0< is no good
2022-12-16 Shinji KONO strange bug of agda
2022-12-16 Shinji KONO ...
2022-12-16 Shinji KONO order done
2022-12-16 Shinji KONO ...
2022-12-16 Shinji KONO ...
2022-12-16 Shinji KONO is-minsup done
2022-12-15 Shinji KONO ...
2022-12-14 Shinji KONO ...
2022-12-14 Shinji KONO ...
2022-12-14 Shinji KONO supf-mono done
2022-12-13 Shinji KONO ...
2022-12-13 Shinji KONO ...
2022-12-13 Shinji KONO ...
2022-12-12 Shinji KONO add 0<supfz
2022-12-12 Shinji KONO ic case
2022-12-12 Shinji KONO ...
2022-12-12 Shinji KONO equal case
2022-12-12 Shinji KONO ...
2022-12-11 Shinji KONO ...
2022-12-11 Shinji KONO ...
2022-12-11 Shinji KONO another IChain
2022-12-10 Shinji KONO IChain?
2022-12-10 Shinji KONO ...
2022-12-10 Shinji KONO ...
2022-12-09 Shinji KONO lim
2022-12-09 Shinji KONO sup=u ONDE
2022-12-09 Shinji KONO order (px case) done
2022-12-09 Shinji KONO ...
2022-12-09 Shinji KONO order connected
2022-12-09 Shinji KONO ...
2022-12-09 Shinji KONO ... bad
2022-12-07 Shinji KONO ...
2022-12-07 Shinji KONO ...
2022-12-07 Shinji KONO ...
2022-12-07 Shinji KONO ...
2022-12-05 Shinji KONO ...
2022-12-04 Shinji KONO is-minsup in px case done
2022-12-04 Shinji KONO ...
2022-12-04 Shinji KONO ...
2022-12-04 Shinji KONO pxhainx conditon is requied?
2022-12-03 Shinji KONO ...
2022-12-03 Shinji KONO ...
2022-12-03 Shinji KONO ...
2022-12-02 Shinji KONO mf< everywhere
2022-12-02 Shinji KONO ...
2022-12-02 Shinji KONO ...
2022-12-02 Shinji KONO ...
2022-12-01 Shinji KONO ...
2022-12-01 Shinji KONO ch-init again, because ch-is-sup require u<x which is not valid supf o∅
2022-11-30 Shinji KONO minsup is not obvious in ZChain
2022-11-30 Shinji KONO ...
2022-11-28 Shinji KONO ...
2022-11-27 Shinji KONO ChainP removal
2022-11-27 Shinji KONO ...
2022-11-26 Shinji KONO ...
2022-11-25 Shinji KONO ...
2022-11-25 Shinji KONO ...
2022-11-25 Shinji KONO supf-< and ZChain1.order is removed
2022-11-25 Shinji KONO ...
2022-11-25 Shinji KONO ...
2022-11-25 Shinji KONO ...
2022-11-24 Shinji KONO ...
2022-11-24 Shinji KONO ...
2022-11-24 Shinji KONO sa<b
2022-11-24 Shinji KONO trying cscf as odef (UnionCF A f mf ay supf z) w
2022-11-23 Shinji KONO ...
2022-11-23 Shinji KONO ...
2022-11-23 Shinji KONO ...
2022-11-23 Shinji KONO fc-inject is no good
2022-11-23 Shinji KONO maxα
2022-11-20 Shinji KONO IChain recursive record avoided
2022-11-20 Shinji KONO Recursive record IChain
2022-11-20 Shinji KONO ...
2022-11-20 Shinji KONO ...
2022-11-19 Shinji KONO ...
2022-11-18 Shinji KONO ...
2022-11-18 Shinji KONO ...
2022-11-18 Shinji KONO first cfcs done
2022-11-18 Shinji KONO ...
2022-11-18 Shinji KONO ...
2022-11-18 Shinji KONO ...
2022-11-18 Shinji KONO ...
2022-11-18 Shinji KONO fcs<sup requires <-monotonicity
2022-11-17 Shinji KONO ...
2022-11-17 Shinji KONO ...
2022-11-17 Shinji KONO ...
2022-11-16 Shinji KONO UChain is now u o< x
2022-11-16 Shinji KONO u ≤ x again?
2022-11-16 Shinji KONO SZ1 done
2022-11-16 Shinji KONO ... x < & A ?
2022-11-16 Shinji KONO f (supf x) = supf x
2022-11-16 Shinji KONO ...
2022-11-16 Shinji KONO ...
2022-11-13 Shinji KONO is-max and supf b = supf x
2022-11-13 Shinji KONO is-max?
2022-11-12 Shinji KONO ..
2022-11-11 Shinji KONO zc10 : supf c ≡ supf (& A) → {x : Ordinal } → odef A x → ¬ ( c << x ) ?
2022-11-11 Shinji KONO order s o< t is bad
2022-11-11 Shinji KONO ...
2022-11-11 Shinji KONO ... order supf o< supf is bad?
2022-11-10 Shinji KONO ...
2022-11-09 Shinji KONO ...
2022-11-08 Shinji KONO chain is now u≤x again
2022-11-08 Shinji KONO ... csupf is bad
2022-11-08 Shinji KONO is-max on supf b o< supf x and csupf on supf x o< z is better?
2022-11-08 Shinji KONO is-max condition have to be b o< x
2022-11-08 Shinji KONO ...