Proofgold Proposition

∀ x0 . x0 ∈ int_alt1 ⟶ ∀ x1 . x1 ∈ int_alt1 ⟶ mul_SNo x0 x1 ∈ int_alt1

type
prop

theory
HotG

name
-

proof
PUVtn..

Megalodon
int_mul_SNo

proofgold address
TMbSE..^int_mul_SNo

creator
5161 Pr6Pc../d2aff..

owner
5161 Pr6Pc../d2aff..

term root
3f000..