Proofgold Proposition

∀ x0 x1 x2 x3 . setsum x2 x3 ∈ setprod x0 x1 ⟶ x3 ∈ x1

type
prop

theory
HotG

name
pair_setprod_E1

proof
PUdQg..

Megalodon
pair_setprod_E1

proofgold address
TMYMe..^{pair_setprod_E1}

creator
4899 Pr6Pc../c507f..

owner
4899 Pr6Pc../c507f..

term root
50179..