Proofgold Proposition

∀ x0 x1 x2 x3 . nIn x2 x1 ⟶ nIn x3 x1 ⟶ (x2 = x3 ⟶ ∀ x4 : ο . x4) ⟶ atleastp x0 x1 ⟶ atleastp (ordsucc (ordsucc x0)) (binunion x1 (UPair x2 x3))

type
prop

theory
HotG

name
-

proof
PUQsf..

Megalodon
-

proofgold address
TMaHW..

creator
22095 Pr4zB../de886..

owner
22095 Pr4zB../de886..

term root
bc4d0..