Proofgold Proposition

∀ x0 . ∀ x1 : ι → ο . In (Sep x0 x1) (Power x0)

type
prop

theory
HF

name
-

proof
PUZM3..

Megalodon
Sep_In_Power

proofgold address
TMbUt..^Sep_In_Power

creator
1446 PrGxv../891b6..

owner
1446 PrGxv../891b6..

term root
c9c2e..