Proofgold Proposition

∀ x0 . setsum (ap x0 0) (ap x0 1) ⊆ x0

type
prop

theory
HotG

name
pair_eta_Subq

proof
PUgbQ..

Megalodon
pair_eta_Subq

proofgold address
TMFvq..^{pair_eta_Subq}

creator
4904 Pr6Pc../b1356..

owner
4904 Pr6Pc../b1356..

term root
4f3eb..