Proofgold Proposition

∀ x0 . CSNo x0 ⟶ CSNo (minus_CSNo x0)

type
prop

theory
HotG

name
CSNo_minus_CSNo

proof
PUQvq..

Megalodon
CSNo_minus_CSNo

proofgold address
TMH2y..^{CSNo_minus_CSNo}

creator
28444 PrQUS../e8877..

owner
28444 PrQUS../e8877..

term root
ed113..