Proofgold Proposition

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

type
prop

theory
HotG

name
iffER

proof
PUL8Q..

Megalodon
iffER

proofgold address
TMGZN..^iffER

creator
4882 Pr6Pc../ccdb6..

owner
4882 Pr6Pc../ccdb6..

term root
54702..