Proofgold Proposition

∀ x0 . CSNo x0 ⟶ and (SNo (CSNo_Re x0)) (∀ x1 : ο . (∀ x2 . and (SNo x2) (x0 = SNo_pair (CSNo_Re x0) x2) ⟶ x1) ⟶ x1)

type
prop

theory
HotG

name
CSNo_Re1

proof
PUgeJ..

Megalodon
CSNo_Re1

proofgold address
TMdw6..^CSNo_Re1

creator
4958 Pr6Pc../a0d1f..

owner
4958 Pr6Pc../a0d1f..

term root
d1afc..