Proofgold Proposition

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

type
prop

theory
HF

name
-

proof
PUKA4..

Megalodon
pair_eta_Subq

proofgold address
TMLQw..^{pair_eta_Subq}

creator
1627 PrGxv../4629e..

owner
1627 PrGxv../4629e..

term root
3ce01..