[Merged by Bors] - chore(Data/Finset): golf entire diag_union_offDiag, erase_right_comm, univ_filter_mem_range and powersetCard_map using grind

[Merged by Bors] - chore(Data/Finset): golf entire diag_union_offDiag, erase_right_comm, univ_filter_mem_range and powersetCard_map using grind #42485