Proofgold Proposition

∀ x0 x1 . struct_u x0 ⟶ struct_u x1 ⟶ struct_u (5a1fb.. x0 x1)

type
prop

theory
HotG

name
-

proof
PUYhi..

Megalodon
-

proofgold address
TMJtZ..

creator
11768 PrEBh../bb22b..

owner
11768 PrEBh../bb22b..

term root
3e48c..