Proofgold Proposition

∀ x0 x1 x2 . In x0 (UPair x1 x2) ⟶ ∀ x3 : ο . (x0 = x1 ⟶ x3) ⟶ (x0 = x2 ⟶ x3) ⟶ x3

type
prop

theory
HF

name
-

proof
PUZ3G..

Megalodon
UPairE_cases

proofgold address
TMGYu..^UPairE_cases

creator
1339 PrGxv../fab84..

owner
1339 PrGxv../fab84..

term root
75ddf..