Proofgold Proposition

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

type
prop

theory
HF

name
-

proof
PURTb..

Megalodon
V_eq

proofgold address
TMHkw..^V_eq

creator
1889 PrGxv../eb857..

owner
1889 PrGxv../eb857..

term root
4358b..