Proofgold Proposition

∀ x0 x1 . SNo x0 ⟶ 68498.. x1 x0

type
prop

theory
HotG

name
-

proof
PUhtR..

Megalodon
-

proofgold address
TMF4K..

creator
28142 PrQUS../4a5b9..

owner
28142 PrQUS../4a5b9..

term root
a4edc..