Proofgold Proposition

∀ x0 x1 x2 . x2 ∈ setprod x0 x1 ⟶ proj0 x2 ∈ x0

type
prop

theory
HotG

name
proj0_setprod

proof
PUdQg..

Megalodon
proj0_setprod

proofgold address
TMQGs..^{proj0_setprod}

creator
4899 Pr6Pc../83c4b..

owner
4899 Pr6Pc../83c4b..

term root
51062..