Proofgold Proposition

∀ x0 . nat_p x0 ⟶ mul_nat 0 x0 = 0

type
prop

theory
HF

name
-

proof
PUVGM..

Megalodon
mul_nat_0L

proofgold address
TMKFb..^mul_nat_0L

creator
2277 PrGxv../8d696..

owner
2277 PrGxv../8d696..

term root
73039..