Proofgold Proposition

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

type
prop

theory
HotG

name
iff_sym

proof
PUQ2Y..

Megalodon
iff_sym

proofgold address
TMEgL..^iff_sym

creator
4903 Pr6Pc../d9c88..

owner
4903 Pr6Pc../d9c88..

term root
00bac..