Proofgold Proposition

∀ x0 . ∀ x1 x2 : ι → ι → ο . x2 x0 (f482f.. (35983.. x0 x1) 4a7ef..) ⟶ x2 (f482f.. (35983.. x0 x1) 4a7ef..) x0

type
prop

theory
HoTg

name
-

proof
PUUUw..

Megalodon
-

proofgold address
TMRU9..

creator
2814 PrGxv../8d402..

owner
2814 PrGxv../8d402..

term root
97f80..