Proofgold Proposition

∀ x0 : ι → ι . ∀ x1 x2 . prim1 x0 = prim0 x1 x2 ⟶ False

type
prop

theory
HOAS

name
-

proof
PUaq1..

Megalodon
-

proofgold address
TMZWY..

creator
1995 PrGxv../e2210..

owner
1995 PrGxv../e2210..

term root
9a58e..