Proofgold Proposition

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

type
prop

theory
HF

name
-

proof
PUaiy..

Megalodon
pair_eta_Subq_proj

proofgold address
TMLdJ..^{pair_eta_Subq_proj}

creator
1504 PrGxv../759d4..

owner
1504 PrGxv../759d4..

term root
a059c..