graph

  • 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
  • ...
    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