Mercurial > hg > Members > kono > Proof > ZF-in-agda

comparison src/VL.agda @ 1178:7bd348551d37

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
fix
author Shinji Kono
date Thu, 23 Feb 2023 09:58:11 +0800
parents d122d0c1b094
children 45cd80181a29
comparison
equal deleted inserted replaced
1177:66355bace86f 1178:7bd348551d37
55 -- HOD=V x = {!!} 55 -- HOD=V x = {!!}
56 56
57 -- 57 --
58 -- Definition for Power Set 58 -- Definition for Power Set
59 -- 59 --
60 record Definitions : Set (suc n) where 60 record Definitions : Set (suc n) where
61 field 61 field
62 Definition : HOD → HOD 62 Definition : HOD → HOD
63 63
64 open Definitions 64 open Definitions
65 65