Proofgold Proposition

∀ x0 : ι → ι . ∀ x1 x2 . x1 ⊆ x2 ⟶ prim5 x1 x0 ⊆ prim5 x2 x0

type
prop

theory
HotG

name
image_monotone

proof
PUhjz..

Megalodon
image_monotone

proofgold address
TMHKK..^{image_monotone}

creator
4897 Pr6Pc../d8ee6..

owner
4897 Pr6Pc../d8ee6..

term root
ac6fe..