Proofgold Proposition

∀ x0 . ∀ x1 x2 : ι → ο . (∀ x3 . x3 ∈ x0 ⟶ iff (x1 x3) (x2 x3)) ⟶ (∃ x4 . and (x4 ∈ x0) (x2 x4)) = ∃ x4 . and (x4 ∈ x0) (x1 x4)

type
prop

theory
HotG

name
-

proof
PUg5x..

Megalodon
-

proofgold address
TMJoc..

creator
11300 PrEBh../d21b3..

owner
11300 PrEBh../d21b3..

term root
b2592..