Proofgold Proposition

∀ x0 x1 . SNo x0 ⟶ SNo x1 ⟶ mul_SNo x0 x1 = 22598.. x0 x1

type
prop

theory
HotG

name
-

proof
PUYxh..

Megalodon
-

proofgold address
TMM3K..

creator
28191 PrQUS../a4b0c..

owner
28191 PrQUS../a4b0c..

term root
5ed63..