Proofgold Proposition

∀ x0 x1 . ordinal x0 ⟶ nIn x0 (94f9e.. x1 (λ x2 . 15418.. x2 (91630.. (4ae4a.. 4a7ef..))))

type
prop

theory
HoTg

name
-

proof
PURFE..

Megalodon
-

proofgold address
TMTUj..

creator
2815 PrGxv../e730a..

owner
2815 PrGxv../e730a..

term root
9ab9a..