Proofgold Proposition

∀ x0 . SNo x0 ⟶ SNo (recip_SNo x0)

type
prop

theory
HotG

name
SNo_recip_SNo

proof
PUSRj..

Megalodon
SNo_recip_SNo

proofgold address
TMamt..^{SNo_recip_SNo}

creator
27837 PrQUS../2f095..

owner
27837 PrQUS../2f095..

term root
67557..