Proofgold Proposition

∀ x0 . mul_nat x0 1 = x0

type
prop

theory
HF

name
-

proof
PUZkx..

Megalodon
mul_nat_1R

proofgold address
TMQrx..^mul_nat_1R

creator
2364 PrGxv../7cacf..

owner
2364 PrGxv../7cacf..

term root
74e06..