[Merged by Bors] - chore(Order/BooleanAlgebra): golf entire diff_insert_of_notMem, insert_diff_of_mem, insert_diff_of_notMem and subset_insert_iff using grind
#17033
eupruninzulip_emoji_labelling.yaml
on: pull_request_target
set_pr_emoji
10s