Proofgold Proposition

∀ x0 x1 . struct_b x0 ⟶ struct_b x1 ⟶ struct_b (3d151.. x0 x1)

type
prop

theory
HotG

name
-

proof
PUdPp..

Megalodon
-

proofgold address
TMMAY..

creator
11767 PrEBh../be873..

owner
11767 PrEBh../be873..

term root
baf3f..