Proofgold Proposition

∀ x0 . CSNo x0 ⟶ SNo (CSNo_Re x0)

type
prop

theory
HotG

name
CSNo_ReR

proof
PUQvq..

Megalodon
CSNo_ReR

proofgold address
TMWw1..^CSNo_ReR

creator
28444 PrQUS../30aa7..

owner
28444 PrQUS../30aa7..

term root
6ff29..