Mercurial > hg > Members > kono > Proof > ZF-in-agda
log
age | author | description |
---|---|---|
Wed, 29 May 2019 05:46:05 +0900 | Shinji KONO | lemma = cong₂ (λ x not → minimul x not ) oiso { }6 |
Tue, 28 May 2019 23:02:50 +0900 | Shinji KONO | ... |
Tue, 28 May 2019 11:31:43 +0900 | Shinji KONO | ... |
Tue, 28 May 2019 00:07:23 +0900 | Shinji KONO | almost ... |
Mon, 27 May 2019 23:45:56 +0900 | Shinji KONO | regurality elimination case |
Mon, 27 May 2019 21:58:17 +0900 | Shinji KONO | fix selection axiom |