moved lemmas about sums involving relations from RelationProperties to SumsInvolvingRelations
documented lemma setsum_Domain_Range_runiq_rel