Proofgold Proposition

∀ x0 x1 . ap (setsum x0 x1) 0 = x0

type
prop

theory
HotG

name
pair_ap_0

proof
PUdQg..

Megalodon
pair_ap_0

proofgold address
TMPNW..^pair_ap_0

creator
4899 Pr6Pc../c4c43..

owner
4899 Pr6Pc../c4c43..

term root
ac34b..