Proofgold Proposition

∀ x0 x1 . x1 ⊆ x0 ⟶ x1 ∈ prim4 x0

type
prop

theory
HotG

name
PowerI

proof
PUL8Q..

Megalodon
PowerI

proofgold address
TMXdA..^PowerI

creator
4882 Pr6Pc../75b96..

owner
4882 Pr6Pc../75b96..

term root
7143d..