Proofgold Proposition

0 ∈ ap (ap (9ca4f.. 2) 497c5..) (ap (1c786.. 2) (lam 2 (λ x0 . x0)))

type
prop

theory
HotG

name
-

proof
PUZw1..

Megalodon
-

proofgold address
TMRqP..

creator
48789 PrMzh../5ea6a..

owner
48789 PrMzh../5ea6a..

term root
bf781..