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
PUQvq..

Megalodon
CSNo_Re1

proofgold address
TMK38..^CSNo_Re1

creator
28444 PrQUS../e683f..

owner
28444 PrQUS../e683f..

term root
10768..