Proofgold Proposition

∀ x0 : ο . iff x0 x0

type
prop

theory
HF

name
-

proof
PURTb..

Megalodon
iff_refl

proofgold address
TMU3g..^iff_refl

creator
1889 PrGxv../84dee..

owner
1889 PrGxv../84dee..

term root
00f36..