Proofgold Proposition

∀ x0 . atleastp x0 u3 ⟶ ∀ x1 . x1 ⊆ x0 ⟶ ∀ x2 . x2 ⊆ x0 ⟶ atleastp u2 x1 ⟶ atleastp u2 x2 ⟶ ∀ x3 : ο . (∀ x4 . and (x4 ∈ x1) (x4 ∈ x2) ⟶ x3) ⟶ x3

type
prop

theory
HotG

name
-

proof
PUcra..

Megalodon
-

proofgold address
TMLGo..

creator
31062 Pr4zB../39253..

owner
31062 Pr4zB../39253..

term root
df4ce..