Proofgold Proposition

∀ x0 . x0 ∈ 2 ⟶ ∀ x1 . x1 ∈ 2 ⟶ 0 ∈ ap (ap (9ca4f.. 2) x0) x1 ⟶ 0 ∈ x0 ⟶ 0 ∈ x1

type
prop

theory
HotG

name
-

proof
PUZw1..

Megalodon
-

proofgold address
TMUvC..

creator
48789 PrMzh../6e608..

owner
48789 PrMzh../6e608..

term root
b3673..