Proofgold Proposition

∀ x0 : ο . iff x0 x0

type
prop

theory
HOAS

name
iff_refl

proof
PUcHm..

Megalodon
-

proofgold address
TMNGc..

creator
1745 PrGxv../43c86..

owner
1745 PrGxv../43c86..

term root
01338..