Proofgold Proposition

∀ x0 : ο . iff x0 x0

type
prop

theory
HotG

name
iff_refl

proof
PUL8Q..

Megalodon
iff_refl

proofgold address
TML3G..^iff_refl

creator
4882 Pr6Pc../a493f..

owner
4882 Pr6Pc../a493f..

term root
01338..