Members/kono/Proof/ZF-in-agda: revision graph

graph

less more | rev 574: (0) -300 -100 -30 -10 -4 +4 +10 +30 +100 +300 tip

ZC data won't work
Sun, 05 Jun 2022 12:49:48 +0900, by Shinji KONO
... still remains
Tue, 03 May 2022 00:59:52 +0900, by Shinji KONO
ZChain is monotonic on x, should be in record ZFChain
Mon, 02 May 2022 23:23:12 +0900, by Shinji KONO
...
Mon, 02 May 2022 19:51:51 +0900, by Shinji KONO

less more | rev 574: (0) -300 -100 -30 -10 -4 +4 +10 +30 +100 +300 tip