Proofgold Object

λ x0 x1 . and (ZermeloWO x0 x1) (x0 = x1 ⟶ ∀ x2 : ο . x2)

type
ι → ι → ο

theory
HotG

name
ZermeloWOstrict

definition
PUKtJ..

Megalodon
ZermeloWOstrict

proofgold address
TMTjf..^{ZermeloWOstrict}

creator
4890 Pr6Pc../0cec7..

owner
4890 Pr6Pc../0cec7..

term root
e5853..