Proofgold Proposition

∀ x0 : ο . iff x0 x0

type
prop

theory
HoTg

name
iff_refl

proof
PUdeW..

Megalodon
-

proofgold address
TMJM2..

creator
1652 PrGxv../2fea2..

owner
1652 PrGxv../2fea2..

term root
01338..