Proofgold Proposition

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

type
prop

theory
HF

name
-

proof
PUNKw..

Megalodon
iffER

proofgold address
TMH77..^iffER

creator
628 Pr4Ru../28387..

owner
628 Pr4Ru../28387..

term root
d5d9d..