Proofgold Proposition

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

type
prop

theory
HotG

name
SNo_mul_SNo

proof
PUU9n..

Megalodon
SNo_mul_SNo

proofgold address
TMTR3..^SNo_mul_SNo

creator
4981 Pr6Pc../d84dc..

owner
4981 Pr6Pc../d84dc..

term root
7fa2e..