Proofgold Proposition

∀ x0 . nat_p x0 ⟶ ∀ x1 . nat_p x1 ⟶ x0 ⊆ add_nat x0 x1

type
prop

theory
HotG

name
add_nat_Subq_L

proof
PUcPW..

Megalodon
add_nat_Subq_R

proofgold address
TMZo4..^{add_nat_Subq_R}

creator
8134 PrFVW../f4083..

owner
8134 PrFVW../f4083..

term root
ed3e7..