Proofgold Proposition

∀ x0 x1 . x1 ∈ x0 ⟶ ∀ x2 . x2 ∈ x0 ⟶ 0 ∈ ap (ap (9ca4f.. x0) x1) x2 ⟶ x1 = x2

type
prop

theory
HotG

name
-

proof
PUZw1..

Megalodon
-

proofgold address
TMX6H..

creator
48789 PrMzh../cb445..

owner
48789 PrMzh../cb445..

term root
5532c..