Proofgold Proposition

∀ x0 . nat_p x0 ⟶ Union (ordsucc x0) = x0

type
prop

theory
HF

name
-

proof
PUTdW..

Megalodon
Union_ordsucc_eq

proofgold address
TMS7A..^{Union_ordsucc_eq}

creator
1473 PrGxv../87857..

owner
1473 PrGxv../87857..

term root
10a14..