Proofgold Proposition

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

type
prop

theory
HotG

name
nIn_not_eq_UPair_1

proof
PUfcG..

Megalodon
-

proofgold address
TMcXU..

creator
14561 Pr4zB../2e6dc..

owner
14561 Pr4zB../2e6dc..

term root
93311..