Proofgold Proposition

∀ x0 x1 : ο . iff x0 x1 ⟶ x0 ⟶ x1

type
prop

theory
HOAS

name
iffEL

proof
PUcHm..

Megalodon
-

proofgold address
TMYFe..

creator
1745 PrGxv../9525f..

owner
1745 PrGxv../9525f..

term root
0e94c..