Proofgold Proposition

∀ x0 . CSNo x0 ⟶ CSNo (minus_CSNo x0)

type
prop

theory
HotG

name
CSNo_minus_CSNo

proof
PUi5E..

Megalodon
CSNo_minus_CSNo

proofgold address
TMFr3..^{CSNo_minus_CSNo}

creator
4962 Pr6Pc../d2440..

owner
4962 Pr6Pc../d2440..

term root
7ee6a..