[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#28628
Closed
euprunin wants to merge 1 commit intoleanprover-community:masterfrom
