Proofgold Proposition

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

type
prop

theory
HotG

name
PowerE

proof
PUL8Q..

Megalodon
PowerE

proofgold address
TMTYt..^PowerE

creator
4882 Pr6Pc../65e95..

owner
4882 Pr6Pc../65e95..

term root
14903..