Proofgold Proposition

∀ x0 . equip u2 x0 ⟶ ∀ x1 : ο . (∀ x2 . and (x2 ∈ x0) (∀ x3 : ο . (∀ x4 . and (x4 ∈ x0) (and (x2 = x4 ⟶ ∀ x5 : ο . x5) (x0 = UPair x2 x4)) ⟶ x3) ⟶ x3) ⟶ x1) ⟶ x1

type
prop

theory
HotG

name
-

proof
PUf8d..

Megalodon
-

proofgold address
TMcpf..

creator
22080 Pr4zB../694bc..

owner
22080 Pr4zB../694bc..

term root
4d754..