Proofgold Proposition

∀ x0 x1 . SNo x0 ⟶ SNo x1 ⟶ 28f8d.. (ad280.. x0 x1) = x0

type
prop

theory
HotG

name
-

proof
PUN7o..

Megalodon
-

proofgold address
TMZq5..

creator
28161 PrQUS../7ac72..

owner
28161 PrQUS../7ac72..

term root
be33d..