Commit 2022-10-27 00:02 aa329229

chore(data/set/pointwise): split file, reducing dependencies (#16950) This splits data.set.pointwise and data.finset.pointwise each into several smaller files. This allows us to remove or defer some imports, e.g. of order.well_founded_set and of algebra.big_operators.basic. No changes to statements of theorems, just relocating.