Proofgold Proposition

∀ x0 . nat_p x0 ⟶ mul_nat 0 x0 = 0

type
prop

theory
HotG

name
mul_nat_0L

proof
PUfQZ..

Megalodon
mul_nat_0L

proofgold address
TMKee..^mul_nat_0L

creator
4898 Pr6Pc../9165b..

owner
4898 Pr6Pc../9165b..

term root
db8a3..