chore(*): add mathlib4 synchronization comments (#18381)
Regenerated from the [port status wiki page](https://github.com/leanprover-community/mathlib/wiki/mathlib4-port-status).
Relates to the following files:
* `combinatorics.set_family.compression.uv`
* `combinatorics.young.young_diagram`
* `data.finmap`
* `data.finsupp.multiset`
* `data.finsupp.to_dfinsupp`
* `data.fp.basic`
* `data.set_like.fintype`
* `dynamics.fixed_points.topology`
* `linear_algebra.general_linear_group`
* `order.countable_dense_linear_order`
* `order.hom.lattice`
* `order.succ_pred.linear_locally_finite`
* `topology.omega_complete_partial_order`
* `topology.uniform_space.cauchy`
* `topology.uniform_space.separation`
