Proofgold Proposition

∀ x0 . V_ x0 = famunion x0 (λ x2 . prim4 (V_ x2))

type
prop

theory
HotG

name
V_eq

proof
PUdSr..

Megalodon
-

proofgold address
TMMWa..

creator
11630 PrGxv../5b734..

owner
11630 PrGxv../5b734..

term root
77708..