Proofgold Proposition

∀ x0 x1 . SNo x0 ⟶ SNo x1 ⟶ d634d.. (ad280.. x0 x1) = x1

type
prop

theory
HotG

name
-

proof
PUN7o..

Megalodon
-

proofgold address
TMQKj..

creator
28161 PrQUS../20508..

owner
28161 PrQUS../20508..

term root
a297e..