Proofgold Proposition

∀ x0 x1 x2 x3 . 02b90.. x0 x1 ⟶ 02b90.. x2 x3 ⟶ 02b90.. (0ac37.. (94f9e.. x0 (λ x4 . bc82c.. x4 (02a50.. x2 x3))) (94f9e.. x2 (bc82c.. (02a50.. x0 x1)))) (0ac37.. (94f9e.. x1 (λ x4 . bc82c.. x4 (02a50.. x2 x3))) (94f9e.. x3 (bc82c.. (02a50.. x0 x1))))

type
prop

theory
HoTg

name
-

proof
PUUWv..

Megalodon
-

proofgold address
TMZr7..

creator
3919 PrGxv../1d058..

owner
3919 PrGxv../1d058..

term root
cebf3..