Proofgold Proposition

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

type
prop

theory
HotG

name
-

proof
PUg5x..

Megalodon
-

proofgold address
TMJoc..

creator
11300 PrEBh../d21b3..

owner
11300 PrEBh../d21b3..

term root
b2592..