Proofgold Proposition

∀ x0 . mul_nat x0 0 = 0

type
prop

theory
HotG

name
mul_nat_0R

proof
PUfQZ..

Megalodon
mul_nat_0R

proofgold address
TMYKP..^mul_nat_0R

creator
4898 Pr6Pc../6f545..

owner
4898 Pr6Pc../6f545..

term root
b2f56..