Proofgold Proposition

∀ x0 . CSNo x0 ⟶ HSNo_proj0 x0 = x0

type
prop

theory
HotG

name
CSNo_HSNo_proj0

proof
PUgzA..

Megalodon
CSNo_HSNo_proj0

proofgold address
TMGdr..^{CSNo_HSNo_proj0}

creator
28464 PrQUS../96374..

owner
28464 PrQUS../96374..

term root
60fe3..