Proofgold Proposition

∀ x0 x1 . SNo x0 ⟶ SNo x1 ⟶ CSNo (SNo_pair x0 x1)

type
prop

theory
HotG

name
CSNo_I

proof
PUgeJ..

Megalodon
CSNo_I

proofgold address
TMSb6..^CSNo_I

creator
4958 Pr6Pc../31add..

owner
4958 Pr6Pc../31add..

term root
a0924..