Proofgold Proposition

∀ x0 : ι → ι . ∀ x1 . 1319b.. 0 x0 x1 = x1

type
prop

theory
HotG

name
-

proof
PUStC..

Megalodon
-

proofgold address
TMPZz..

creator
35044 PrHS6../d8f2b..

owner
35044 PrHS6../d8f2b..

term root
039fc..