Proofgold Proposition

∀ x0 . setsum (proj0 x0) (proj1 x0) ⊆ x0

type
prop

theory
HotG

name
pair_eta_Subq_proj

proof
PUMB7..

Megalodon
pair_eta_Subq_proj

proofgold address
TMNST..^{pair_eta_Subq_proj}

creator
4898 Pr6Pc../3eff9..

owner
4898 Pr6Pc../3eff9..

term root
a868f..