Proofgold Proposition

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

type
prop

theory
HotG

name
Power_Subq

proof
PUL8Q..

Megalodon
Power_Subq

proofgold address
TMLB1..^Power_Subq

creator
4882 Pr6Pc../f89dc..

owner
4882 Pr6Pc../f89dc..

term root
6d8f1..