Proofgold Proposition

∀ x0 . nat_p x0 ⟶ mul_nat 1 x0 = x0

type
prop

theory
HotG

name
-

proof
PUcPW..

Megalodon
-

proofgold address
TMdUC..

creator
8134 PrFVW../eae83..

owner
8134 PrFVW../eae83..

term root
6e31f..