Proofgold Proposition

∀ x0 x1 . 236c6.. = prim0 x0 x1 ⟶ ∀ x2 : ο . x2

type
prop

theory
HOAS

name
-

proof
PUf2B..

Megalodon
-

proofgold address
TMKrv..

creator
1788 PrGxv../f352b..

owner
1788 PrGxv../f352b..

term root
ebc21..