Proofgold Proposition

∀ x0 . CSNo x0 ⟶ SNo (CSNo_Re x0)

type
prop

theory
HotG

name
CSNo_ReR

proof
PUgeJ..

Megalodon
CSNo_ReR

proofgold address
TMLjD..^CSNo_ReR

creator
4958 Pr6Pc../83c23..

owner
4958 Pr6Pc../83c23..

term root
2d8ba..