Proofgold Proposition

∀ x0 . atleastp x0 u3 ⟶ ∀ x1 . x1 ⊆ x0 ⟶ ∀ x2 . x2 ⊆ x0 ⟶ atleastp u2 x1 ⟶ atleastp u2 x2 ⟶ ∃ x3 . and (x3 ∈ x1) (x3 ∈ x2)

type
prop

theory
HotG

name
-

proof
PUcra..

Megalodon
-

proofgold address
TMLGo..

creator
31062 Pr4zB../39253..

owner
31062 Pr4zB../39253..

term root
df4ce..