Proofgold Proposition

∀ x0 : ι → ο . ∀ x1 x2 . x0 x2 ⟶ de327.. x0 x1 x2

type
prop

theory
HOAS

name
-

proof
PUcHm..

Megalodon
-

proofgold address
TMSN6..

creator
1745 PrGxv../963f2..

owner
1745 PrGxv../963f2..

term root
cf65c..