Proofgold Proposition

∀ x0 . HSNo x0 ⟶ conj_HSNo (conj_HSNo x0) = x0

type
prop

theory
HotG

name
conj_HSNo_invol

proof
PUgzA..

Megalodon
conj_HSNo_invol

proofgold address
TMEpv..^{conj_HSNo_invol}

creator
28464 PrQUS../7aa9a..

owner
28464 PrQUS../7aa9a..

term root
8faa1..