Proofgold Proposition

∀ x0 : ι → ι → ι → ο . ∀ x1 x2 x3 . a35ef.. (59c41.. x1 x2 x3) x0 = x0 x1 x2 x3

type
prop

theory
HoTg

name
-

proof
PUTvt..

Megalodon
-

proofgold address
TMEr9..

creator
2840 PrGxv../b08d9..

owner
2840 PrGxv../b08d9..

term root
98354..