Proofgold Proposition

setsum 0 0 = 0

type
prop

theory
HotG

name
setsum_0_0

proof
PUMB7..

Megalodon
setsum_0_0

proofgold address
TMHtD..^setsum_0_0

creator
4898 Pr6Pc../41869..

owner
4898 Pr6Pc../41869..

term root
5dcae..