Proofgold Proposition

∀ x0 . ordinal x0 ⟶ TransSet x0

type
prop

theory
HF

name
-

proof
PUZ6J..

Megalodon
ordinal_TransSet

proofgold address
TMTW9..^{ordinal_TransSet}

creator
1604 PrGxv../43f50..

owner
1604 PrGxv../43f50..

term root
e6828..