Proofgold Proposition

∀ x0 . (∀ x1 . prim1 x1 x0 ⟶ ordinal x1) ⟶ ordinal (prim3 x0)

type
prop

theory
HoTg

name
ordinal_Union

proof
PUKG7..

Megalodon
-

proofgold address
TMHFM..

creator
2750 PrGxv../4aa26..

owner
2750 PrGxv../4aa26..

term root
c733e..