Proofgold Proposition

∀ x0 . SNo x0 ⟶ SNo (minus_CSNo x0)

type
prop

theory
HotG

name
-

proof
PUVhm..

Megalodon
-

proofgold address
TMGrK..

creator
12595 PrGxv../85329..

owner
12595 PrGxv../85329..

term root
86ca7..