Proofgold Proposition

0 ∈ ap (ap (9ca4f.. 2) 8d6e5..) (ap (ap (9ca4f.. (setexp 2 2)) (lam 2 (λ x0 . x0))) (lam 2 (λ x0 . x0)))

type
prop

theory
HotG

name
-

proof
PUZw1..

Megalodon
-

proofgold address
TMLKz..

creator
48789 PrMzh../e03bd..

owner
48789 PrMzh../e03bd..

term root
597a0..