graph

  • ...
    2022-04-30, by Shinji KONO
  • ...
    2022-04-30, by Shinji KONO
  • ...
    2022-04-30, by Shinji KONO
  • ...
    2022-04-30, by Shinji KONO
  • ...
    2022-04-30, by Shinji KONO
  • ...
    2022-04-29, by Shinji KONO
  • fcn-cmp done
    2022-04-29, by Shinji KONO
  • ...
    2022-04-29, by Shinji KONO
  • ...
    2022-04-29, by Shinji KONO
  • ...
    2022-04-29, by Shinji KONO
  • ...
    2022-04-29, by Shinji KONO
  • ...
    2022-04-29, by Shinji KONO
  • ...
    2022-04-28, by Shinji KONO
  • ...
    2022-04-28, by Shinji KONO
  • ...
    2022-04-28, by Shinji KONO
  • ...
    2022-04-28, by Shinji KONO
  • ...
    2022-04-28, by Shinji KONO
  • ...
    2022-04-28, by Shinji KONO
  • ...
    2022-04-27, by Shinji KONO
  • ...
    2022-04-27, by Shinji KONO
  • tranfinite reorganization in Zorn
    2022-04-27, by Shinji KONO
  • ...
    2022-04-26, by Shinji KONO
  • ...
    2022-04-26, by Shinji KONO
  • ...
    2022-04-26, by Shinji KONO
  • ...
    2022-04-25, by Shinji KONO
  • ...
    2022-04-24, by Shinji KONO
  • ...
    2022-04-24, by Shinji KONO
  • ...
    2022-04-24, by Shinji KONO
  • ...
    2022-04-23, by Shinji KONO
  • remove unsed in zorn
    2022-04-23, by Shinji KONO
  • ...
    2022-04-23, by Shinji KONO
  • ...
    2022-04-23, by Shinji KONO
  • ...
    2022-04-23, by Shinji KONO
  • ...
    2022-04-22, by Shinji KONO
  • ...
    2022-04-22, by Shinji KONO
  • ...
    2022-04-22, by Shinji KONO
  • ...
    2022-04-20, by Shinji KONO
  • TransitiveClosure with x <= f x is possible
    2022-04-19, by Shinji KONO
  • ...
    2022-04-19, by Shinji KONO
  • give up for a while
    2022-04-18, by Shinji KONO
  • ...
    2022-04-18, by Shinji KONO
  • ...
    2022-04-17, by Shinji KONO
  • all-climb-case
    2022-04-17, by Shinji KONO
  • ...
    2022-04-17, by Shinji KONO
  • zc10
    2022-04-17, by Shinji KONO
  • ...
    2022-04-17, by Shinji KONO
  • ...
    2022-04-16, by Shinji KONO
  • ...
    2022-04-16, by Shinji KONO
  • chain total complete
    2022-04-16, by Shinji KONO
  • ...
    2022-04-16, by Shinji KONO
  • ε-induction does not work on Zorn
    2022-04-16, by Shinji KONO
  • ...
    2022-04-16, by Shinji KONO
  • ...
    2022-04-15, by Shinji KONO
  • ...
    2022-04-15, by Shinji KONO
  • ...
    2022-04-15, by Shinji KONO
  • ...
    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