Proofgold Proposition

∀ x0 x1 . ordinal x0 ⟶ prim1 x1 x0 ⟶ or (prim1 (4ae4a.. x1) x0) (x0 = 4ae4a.. x1)

type
prop

theory
HoTg

name
-

proof
PUKG7..

Megalodon
-

proofgold address
TMR6M..

creator
2750 PrGxv../fe75f..

owner
2750 PrGxv../fe75f..

term root
be250..