Proofgold Object

λ x0 x1 : ο . and (x0 ⟶ x1) (x1 ⟶ x0)

type
ο → ο → ο

theory
HotG

name
iff

definition
PUQdE..

Megalodon
iff

proofgold address
TMc6f..^iff

creator
4882 Pr6Pc../2b077..

owner
4882 Pr6Pc../2b077..

term root
98aaa..