Proofgold Proposition

∀ x0 . ordinal x0 ⟶ TransSet x0

type
prop

theory
HoTg

name
ordinal_TransSet

proof
PUUEj..

Megalodon
-

proofgold address
TMdck..

creator
2699 PrGxv../78ddd..

owner
2699 PrGxv../78ddd..

term root
0dbaa..