Proofgold Proposition

∀ x0 . x0 ∈ SNoS_ omega ⟶ ∀ x1 . x1 ∈ SNoS_ omega ⟶ mul_SNo x0 x1 ∈ SNoS_ omega

type
prop

theory
HotG

name
mul_SNo_SNoS_omega

proof
PUaqn..

Megalodon
mul_SNo_SNoS_omega

proofgold address
TMcBZ..^{mul_SNo_SNoS_omega}

creator
12463 PrGxv../42503..

owner
12463 PrGxv../42503..

term root
d17aa..