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