mathlib

4dfbcac3 - feat({data/{finset,set},order/filter}/pointwise): More basic API (#13899)

feat({data/{finset,set},order/filter}/pointwise): More basic API (#13899) More basic lemmas about pointwise operations on `set`/`finset`/`filter`. Also make the three APIs more consistent with each other.