Proofgold Proposition

∀ x0 . x0 ∈ int ⟶ ∀ x1 . x1 ∈ int ⟶ mul_SNo 2 x0 = add_SNo (mul_SNo 2 x1) 1 ⟶ ∀ x2 : ο . x2

type
prop

theory
HotG

name
-

proof
PUQQ9..

Megalodon
not_eq_2m_2n1

proofgold address
TMcyg..^{not_eq_2m_2n1}

creator
30111 PrQUS../ecb48..

owner
30111 PrQUS../ecb48..

term root
db57c..