Proofgold Proposition

∀ x0 x1 . nat_p x0 ⟶ nat_p x1 ⟶ x0 ⊆ x1 ⟶ mul_nat x0 x0 ⊆ mul_nat x1 x1

type
prop

theory
HotG

name
-

proof
PUQQ9..

Megalodon
-

proofgold address
TMK1Y..

creator
30111 PrQUS../94b8e..

owner
30111 PrQUS../94b8e..

term root
18419..