Proofgold Proposition

∀ x0 . mul_nat x0 0 = 0

type
prop

theory
HF

name
-

proof
PUVGM..

Megalodon
mul_nat_0R

proofgold address
TMEoi..^mul_nat_0R

creator
2277 PrGxv../b207c..

owner
2277 PrGxv../b207c..

term root
4756c..