Proofgold Proposition

∀ x0 x1 . UPair x0 x1 = binunion (Sing x0) (Sing x1)

type
prop

theory
HotG

name
-

proof
PUgKv..

Megalodon
-

proofgold address
TMM8n..

creator
19831 Pr4zB../78dc0..

owner
19831 Pr4zB../78dc0..

term root
4b1a7..