Proofgold Proposition

∀ x0 x1 . iff (x1 ∈ prim4 x0) (x1 ⊆ x0)

type
prop

theory
HotG

name
PowerEq

proof
PUQdE..

Megalodon
PowerEq

proofgold address
TMbRJ..^PowerEq

creator
4867 Pr6Pc../b7760..

owner
4867 Pr6Pc../b7760..

term root
746e5..