Proofgold Proposition

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

type
prop

theory
HF

name
-

proof
PUaiy..

Megalodon
proj1_pair_eq

proofgold address
TMKS7..^{proj1_pair_eq}

creator
1504 PrGxv../f9a37..

owner
1504 PrGxv../f9a37..

term root
d4bb6..