Proofgold Proposition

∀ x0 . SNo x0 ⟶ CSNo_Re x0 = x0

type
prop

theory
HotG

name
SNo_Re

proof
PUi5E..

Megalodon
SNo_Re

proofgold address
TMcer..^SNo_Re

creator
4962 Pr6Pc../4ffd5..

owner
4962 Pr6Pc../4ffd5..

term root
62c08..