Proofgold Proposition

∀ x0 . nat_p x0 ⟶ ∀ x1 . In x1 x0 ⟶ nat_p x1

type
prop

theory
HF

name
-

proof
PUTdW..

Megalodon
nat_p_trans

proofgold address
TMGdL..^nat_p_trans

creator
1473 PrGxv../9c4f8..

owner
1473 PrGxv../9c4f8..

term root
3069c..