Proofgold Proposition

∀ x0 . SNo x0 ⟶ conj_HSNo x0 = x0

type
prop

theory
HotG

name
conj_HSNo_id_SNo

proof
PUgzA..

Megalodon
conj_HSNo_id_SNo

proofgold address
TMYmc..^{conj_HSNo_id_SNo}

creator
28464 PrQUS../9f656..

owner
28464 PrQUS../9f656..

term root
ebe6d..