Proofgold Proposition

∀ x0 . nat_p x0 ⟶ mul_nat 1 x0 = x0

type
prop

theory
HF

name
-

proof
PUZkx..

Megalodon
mul_nat_1L

proofgold address
TMPGb..^mul_nat_1L

creator
2364 PrGxv../7547f..

owner
2364 PrGxv../7547f..

term root
3c96f..