Proofgold Proposition

∀ x0 . nat_p x0 ⟶ TransSet x0

type
prop

theory
HF

name
-

proof
PUTdW..

Megalodon
nat_TransSet

proofgold address
TMHba..^nat_TransSet

creator
1473 PrGxv../980f2..

owner
1473 PrGxv../980f2..

term root
691e5..