Proofgold Proposition

∀ x0 x1 x2 . iff (prim1 x0 (prim2 x1 x2)) (or (x0 = x1) (x0 = x2))

type
prop

theory
HoTg

name
-

proof
PUgom..

Megalodon
-

proofgold address
TMT1a..

creator
1605 PrGxv../f1459..

owner
1605 PrGxv../f1459..

term root
91ac2..