Proofgold Proposition

∀ x0 . mul_nat x0 1 = x0

type
prop

theory
HotG

name
mul_nat_1R

proof
PUcPW..

Megalodon
mul_nat_1R

proofgold address
TMGpM..^mul_nat_1R

creator
8134 PrFVW../9bba8..

owner
8134 PrFVW../9bba8..

term root
cab8e..