Proofgold Object

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

type
ο → ο → ο

theory
HoTg

name
iff

definition
PUgom..

Megalodon
-

proofgold address
TMMWH..

creator
1652 PrGxv../2d539..

owner
1652 PrGxv../2d539..

term root
98aaa..