Proofgold Proposition

∀ x0 x1 . (∀ x2 . In x2 x0 ⟶ In x2 x1) ⟶ (∀ x2 . In x2 x1 ⟶ In x2 x0) ⟶ x0 = x1

type
prop

theory
HF

name
-

proof
PUZ3G..

Megalodon
set_ext_2

proofgold address
TMJ4i..^set_ext_2

creator
1339 PrGxv../77e98..

owner
1339 PrGxv../77e98..

term root
219a5..