Proofgold Proposition

∀ x0 x1 . x0 ∈ omega ⟶ SNo x0 ⟶ nat_p x1 ⟶ mul_SNo (minus_SNo x0) (minus_SNo x1) ∈ int

type
prop

theory
HotG

name
-

proof
PUTNo..

Megalodon
Conj_int_mul_SNo__3__2

proofgold address
TMKLz..^{Conj_int_mul_SNo__3__2}

creator
35053 PrNpY../d978f..

owner
35062 PrNpY../97457..

term root
118cb..