Proofgold Proposition

∀ x0 x1 . ∀ x2 : ι → ι . x0 ⊆ x1 ⟶ (∀ x3 . x3 ∈ x1 ⟶ nIn x3 x0 ⟶ 0 ∈ x2 x3) ⟶ Pi x0 x2 ⊆ Pi x1 x2

type
prop

theory
HotG

name
Pi_0_dom_mon

proof
PUgbQ..

Megalodon
Pi_0_dom_mon

proofgold address
TMbVd..^Pi_0_dom_mon

creator
4904 Pr6Pc../bd6fb..

owner
4904 Pr6Pc../bd6fb..

term root
afd68..