Proofgold Proposition

∀ x0 . prim3 (prim4 x0) ⊆ x0

type
prop

theory
HotG

name
Union_Power_Subq

proof
PUL8Q..

Megalodon
Union_Power_Subq

proofgold address
TMQdw..^{Union_Power_Subq}

creator
4882 Pr6Pc../27aa1..

owner
4882 Pr6Pc../27aa1..

term root
7f4d2..