Proofgold Proposition

∀ x0 x1 x2 x3 x4 . 8b17e.. x0 ⟶ struct_comp x0 x1 x2 x3 x4 = 0

type
prop

theory
HotG

name
-

proof
PUMZ2..

Megalodon
-

proofgold address
TMc3z..

creator
11302 PrEBh../0fcdd..

owner
11302 PrEBh../0fcdd..

term root
85563..