Proofgold Proposition

∀ x0 x1 . SNo x0 ⟶ SNo x1 ⟶ SNo (div_SNo x0 x1)

type
prop

theory
HotG

name
SNo_div_SNo

proof
PUSRj..

Megalodon
SNo_div_SNo

proofgold address
TMZNd..^SNo_div_SNo

creator
27837 PrQUS../bdaf0..

owner
27837 PrQUS../bdaf0..

term root
cebe7..