Proofgold Proposition

∀ x0 . SNo x0 ⟶ CSNo_Re x0 = x0

type
prop

theory
HotG

name
SNo_Re

proof
PUQvq..

Megalodon
SNo_Re

proofgold address
TMbmZ..^SNo_Re

creator
28444 PrQUS../d1415..

owner
28444 PrQUS../d1415..

term root
50191..