Proofgold Proposition

∀ x0 . OSNo x0 ⟶ conj_OSNo (conj_OSNo x0) = x0

type
prop

theory
HotG

name
conj_OSNo_invol

proof
PUdK2..

Megalodon
conj_OSNo_invol

proofgold address
TMbVP..^{conj_OSNo_invol}

creator
28513 PrQUS../d0aaf..

owner
28513 PrQUS../d0aaf..

term root
93265..