Proofgold Proposition

∀ x0 . 74e69.. x0 ⟶ ∀ x1 : ο . (∀ x2 . and (762f0.. x2 (a3eb9.. x0 x0) (a3eb9.. x0 x0)) (∀ x3 : ι → ο . 858ff.. x0 x3 ⟶ ∀ x4 x5 . c0709.. x3 x3 x4 ⟶ 5dc8b.. x4 x5 ⟶ d7d78.. x2 x4 x5) ⟶ x1) ⟶ x1

type
prop

theory
HOAS

name
-

proof
PUS33..

Megalodon
-

proofgold address
TMY5W..

creator
2153 PrGxv../967fc..

owner
2242 PrGxv../ec701..

term root
b0171..