Proofgold Proposition

∀ x0 : ι → ο . ∀ x1 x2 . de327.. x0 x1 x2 ⟶ ∀ x3 : ο . (x0 x2 ⟶ x3) ⟶ (x2 = x1 ⟶ x3) ⟶ x3

type
prop

theory
HOAS

name
-

proof
PUcHm..

Megalodon
-

proofgold address
TMTWN..

creator
1745 PrGxv../95e50..

owner
1745 PrGxv../95e50..

term root
422f5..