Proofgold Proposition

∀ x0 x1 . x1 ∈ prim3 x0 ⟶ ∀ x2 : ο . (∀ x3 . x1 ∈ x3 ⟶ x3 ∈ x0 ⟶ x2) ⟶ x2

type
prop

theory
HotG

name
UnionE_impred

proof
PUL8Q..

Megalodon
UnionE_impred

proofgold address
TMHee..^{UnionE_impred}

creator
4882 Pr6Pc../64f3f..

owner
4882 Pr6Pc../64f3f..

term root
8efd5..