graph

  • ...
    2022-04-15, by Shinji KONO
  • chain closure
    2022-04-15, by Shinji KONO
  • ...
    2022-04-15, by Shinji KONO
  • ...
    2022-04-14, by Shinji KONO
  • 2 cases in 3 cases
    2022-04-13, by Shinji KONO
  • ...
    2022-04-12, by Shinji KONO
  • ...
    2022-04-12, by Shinji KONO
  • ...
    2022-04-12, by Shinji KONO
  • ...
    2022-04-12, by Shinji KONO
  • ...
    2022-04-12, by Shinji KONO
  • ...
    2022-04-12, by Shinji KONO
  • ...
    2022-04-12, by Shinji KONO
  • zorn-case
    2022-04-12, by Shinji KONO
  • other strategy
    2022-04-11, by Shinji KONO
  • total of B
    2022-04-09, by Shinji KONO
  • ...
    2022-04-09, by Shinji KONO
  • ...
    2022-04-08, by Shinji KONO
  • ...
    2022-04-08, by Shinji KONO
  • Partial Order
    2022-04-08, by Shinji KONO
  • ...
    2022-04-08, by Shinji KONO
  • IsPartialOrder
    2022-04-08, by Shinji KONO
  • ...
    2022-04-08, by Shinji KONO
  • ...
    2022-04-08, by Shinji KONO
  • ...
    2022-04-07, by Shinji KONO
  • ...
    2022-04-07, by Shinji KONO
  • ...
    2022-04-07, by Shinji KONO
  • ...
    2022-04-06, by Shinji KONO
  • zorn again
    2022-04-06, by Shinji KONO
  • ...
    2022-04-05, by Shinji KONO
  • ...
    2022-04-03, by Shinji KONO
  • ...
    2022-04-03, by Shinji KONO
  • ...
    2022-04-03, by Shinji KONO
  • ...
    2022-04-02, by Shinji KONO
  • separate zorn lemma
    2022-04-01, by Shinji KONO
  • ...
    2022-04-01, by Shinji KONO
  • ...
    2022-04-01, by Shinji KONO
  • ...
    2022-03-31, by Shinji KONO
  • ...
    2022-03-30, by Shinji KONO
  • ...
    2022-03-29, by Shinji KONO
  • ...
    2022-03-28, by Shinji KONO
  • ...
    2022-03-27, by Shinji KONO
  • ...
    2022-03-23, by Shinji KONO
  • ...
    2022-03-23, by Shinji KONO
  • ...
    2022-03-23, by Shinji KONO
  • ...
    2022-03-22, by Shinji KONO
  • ...
    2022-03-22, by Shinji KONO
  • Zorn lemma start
    2022-03-21, by Shinji KONO
  • generic filter done
    2022-03-20, by Shinji KONO
  • ...
    2022-03-20, by Shinji KONO
  • ...
    2022-03-20, by Shinji KONO
  • ...
    2022-03-19, by Shinji KONO
  • ...
    2022-03-18, by Shinji KONO
  • ...
    2022-03-18, by Shinji KONO
  • ...
    2022-03-17, by Shinji KONO
  • fix filter on subset of Power P
    2022-03-17, by Shinji KONO
  • ...
    2022-03-17, by Shinji KONO
  • ...
    2022-03-15, by Shinji KONO
  • ...
    2022-03-14, by Shinji KONO
  • ...
    2022-03-14, by Shinji KONO