mathlib

e6896117 - chore({data/{finset,set},order/filter}/pointwise): Reorganize files (#14021)

chore({data/{finset,set},order/filter}/pointwise): Reorganize files (#14021) Order the three files more similarly. The idea is to order things as: * Arithmetic notation typeclasses, and lemmas that don't depend on algebraic structure for them: * `0` and `1` * `-` and `⁻¹` * `+` and `*` * `-` and `/` * monoid-like instances, interleaved with the corresponding lemmas (some of them are used for the instances themselves, and more will be in the future) * `•` * `-ᵥ` * scalar instances