Proofgold Proposition

∀ x0 x1 . ∀ x2 : ι → ι . (∀ x3 . x3 ∈ x0 ⟶ x2 x3 ∈ x1) ⟶ prim5 x0 x2 ⊆ x1

type
prop

theory
HotG

name
-

proof
PULzF..

Megalodon
-

proofgold address
TMP8M..

creator
19311 Pr4zB../8a107..

owner
19311 Pr4zB../8a107..

term root
e1811..