Proofgold Proposition

∀ x0 x1 . In x1 (Power x0) ⟶ Subq x1 x0

type
prop

theory
HF

name
-

proof
PUNKw..

Megalodon
PowerE

proofgold address
TMcf7..^PowerE

creator
628 Pr4Ru../b3661..

owner
628 Pr4Ru../b3661..

term root
b8811..