Proofgold Proposition

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

type
prop

theory
HotG

name
-

proof
PUZw1..

Megalodon
-

proofgold address
TMd94..

creator
48789 PrMzh../16bf0..

owner
48789 PrMzh../16bf0..

term root
9adbf..