Proofgold Proposition

4a7ef.. = 4ae4a.. 4a7ef.. ⟶ ∀ x0 : ο . x0

type
prop

theory
HoTg

name
-

proof
PUKrN..

Megalodon
-

proofgold address
TMWcg..

creator
2749 PrGxv../5c22e..

owner
2749 PrGxv../5c22e..

term root
71b93..