Proofgold Proposition

∀ x0 x1 . proj0 (setsum x0 x1) = x0

type
prop

theory
HotG

name
proj0_pair_eq

proof
PUMB7..

Megalodon
proj0_pair_eq

proofgold address
TMHWP..^{proj0_pair_eq}

creator
4898 Pr6Pc../34857..

owner
4898 Pr6Pc../34857..

term root
d546f..