Proofgold Proposition

∀ x0 x1 x2 . nIn x1 x2 ⟶ x2 = UPair x0 x1 ⟶ ∀ x3 : ο . x3

type
prop

theory
HotG

name
nIn_not_eq_UPair_2

proof
PUfcG..

Megalodon
-

proofgold address
TMYGX..

creator
14561 Pr4zB../679dd..

owner
14561 Pr4zB../679dd..

term root
3c36e..