Proofgold Proposition

∀ x0 . ordinal x0 ⟶ TransSet x0

type
prop

theory
HotG

name
ordinal_TransSet

proof
PUL8Q..

Megalodon
ordinal_TransSet

proofgold address
TMXHS..^{ordinal_TransSet}

creator
4882 Pr6Pc../52eda..

owner
4882 Pr6Pc../52eda..

term root
0dbaa..