Proofgold Proposition

∀ x0 x1 : ο . x0 = x1 ⟶ and (x0 ⟶ x1) (x1 ⟶ x0)

type
prop

theory
HF

name
-

proof
PUVbs..

Megalodon
-

proofgold address
TMFgD..

creator
3137 PrJJf../b026f..

owner
3137 PrJJf../b026f..

term root
c424c..