Proofgold Proposition

∀ x0 . nat_p x0 ⟶ ∀ x1 . nat_p x1 ⟶ 0 ∈ x0 ⟶ 1 ∈ x1 ⟶ x0 ∈ mul_nat x0 x1

type
prop

theory
HotG

name
-

proof
PUQQ9..

Megalodon
mul_nat_0m_1n_In

proofgold address
TMQi4..^{mul_nat_0m_1n_In}

creator
30111 PrQUS../8294b..

owner
30111 PrQUS../8294b..

term root
611f8..