log

age author description
2022-04-11 Shinji KONO other strategy
2022-04-09 Shinji KONO total of B
2022-04-09 Shinji KONO ...
2022-04-08 Shinji KONO ...
2022-04-08 Shinji KONO ...
2022-04-08 Shinji KONO Partial Order
2022-04-08 Shinji KONO ...
2022-04-08 Shinji KONO IsPartialOrder
2022-04-08 Shinji KONO ...
2022-04-08 Shinji KONO ...
2022-04-07 Shinji KONO ...
2022-04-07 Shinji KONO ...
2022-04-07 Shinji KONO ...
2022-04-06 Shinji KONO ...
2022-04-06 Shinji KONO zorn again
2022-04-05 Shinji KONO ...
2022-04-03 Shinji KONO ...
2022-04-03 Shinji KONO ...
2022-04-03 Shinji KONO ...
2022-04-02 Shinji KONO ...
2022-04-01 Shinji KONO separate zorn lemma
2022-04-01 Shinji KONO ...
2022-04-01 Shinji KONO ...
2022-03-31 Shinji KONO ...
2022-03-30 Shinji KONO ...
2022-03-29 Shinji KONO ...
2022-03-28 Shinji KONO ...
2022-03-27 Shinji KONO ...
2022-03-23 Shinji KONO ...
2022-03-23 Shinji KONO ...
2022-03-23 Shinji KONO ...
2022-03-22 Shinji KONO ...
2022-03-22 Shinji KONO ...
2022-03-21 Shinji KONO Zorn lemma start
2022-03-20 Shinji KONO generic filter done
2022-03-20 Shinji KONO ...
2022-03-20 Shinji KONO ...
2022-03-19 Shinji KONO ...
2022-03-18 Shinji KONO ...
2022-03-18 Shinji KONO ...
2022-03-17 Shinji KONO ...
2022-03-17 Shinji KONO fix filter on subset of Power P
2022-03-17 Shinji KONO ...
2022-03-15 Shinji KONO ...
2022-03-15 Shinji KONO P should be an order structure not Power Ser
2022-03-14 Shinji KONO ...
2022-03-14 Shinji KONO ...
2022-03-14 Shinji KONO ...
2022-03-13 Shinji KONO Generic Filter done
2022-03-13 Shinji KONO ...
2022-03-13 Shinji KONO ...
2022-03-12 Shinji KONO ...
2022-03-10 Shinji KONO close this
2022-03-10 Shinji KONO generic filter does not work
2022-03-09 Shinji KONO ...
2022-03-04 Shinji KONO ...
2022-03-01 Shinji KONO ...
2022-03-01 Shinji KONO give up this generic filter definition
2022-02-26 Shinji KONO ...
2022-02-25 Shinji KONO ⊆-reduction
2022-02-22 Shinji KONO val
2022-02-22 Shinji KONO ...
2022-02-20 Shinji KONO fi;ter1
2022-02-18 Shinji KONO generic filter
2021-09-03 Shinji KONO separate PFOD
2020-12-21 Shinji KONO Added tag current for changeset a5f8084b8368
2020-12-21 Shinji KONO reorganiztion for apkg
2020-12-20 Shinji KONO ...
2020-12-19 Shinji KONO ...
2020-12-19 Shinji KONO add Topology
2020-08-08 Shinji KONO ...
2020-08-06 Shinji KONO ...
2020-08-05 Shinji KONO ...
2020-08-01 Shinji KONO remvoe TransFinifte1
2020-08-01 Shinji KONO ...
2020-08-01 Shinji KONO syntax *, &, ⟪ , ⟫
2020-07-31 Shinji KONO ...
2020-07-31 Shinji KONO bijection
2020-07-31 Shinji KONO ...
2020-07-31 Shinji KONO ...
2020-07-31 Shinji KONO ...
2020-07-30 Shinji KONO ...
2020-07-30 Shinji KONO ...
2020-07-30 Shinji KONO add VL
2020-07-29 Shinji KONO generic filter on going
2020-07-29 Shinji KONO ...
2020-07-29 Shinji KONO ...
2020-07-29 Shinji KONO ...
2020-07-28 Shinji KONO nat→ω-iso
2020-07-28 Shinji KONO ...
2020-07-28 Shinji KONO ...
2020-07-28 Shinji KONO ...
2020-07-28 Shinji KONO ...
2020-07-28 Shinji KONO ...
2020-07-28 Shinji KONO ...
2020-07-28 Shinji KONO ...
2020-07-28 Shinji KONO ...
2020-07-27 Shinji KONO use induction
2020-07-27 Shinji KONO ...
2020-07-27 Shinji KONO ...
2020-07-27 Shinji KONO ...
2020-07-27 Shinji KONO ...
2020-07-27 Shinji KONO ...
2020-07-26 Shinji KONO ...
2020-07-26 Shinji KONO ...
2020-07-25 Shinji KONO ...
2020-07-25 Shinji KONO generic filter defined
2020-07-25 Shinji KONO generic filter
2020-07-25 Shinji KONO ...
2020-07-25 Shinji KONO ...
2020-07-25 Shinji KONO ...
2020-07-23 Shinji KONO ...
2020-07-21 Shinji KONO ...
2020-07-21 Shinji KONO Three List / Filter
2020-07-21 Shinji KONO ...
2020-07-21 Shinji KONO ...
2020-07-21 Shinji KONO ...
2020-07-20 Shinji KONO ...
2020-07-20 Shinji KONO ...
2020-07-20 Shinji KONO ...