chore(*): add mathlib4 synchronization comments (#18365)
Regenerated from the [port status wiki page](https://github.com/leanprover-community/mathlib/wiki/mathlib4-port-status).
Relates to the following files:
* `algebra.graded_mul_action`
* `category_theory.sigma.basic`
* `combinatorics.set_family.intersecting`
* `combinatorics.set_family.lym`
* `data.finsupp.alist`
* `data.pfun`
* `group_theory.presented_group`
* `group_theory.quotient_group`
* `group_theory.submonoid.inverses`
* `order.ideal`
* `set_theory.lists`
* `topology.algebra.const_mul_action`
* `topology.algebra.constructions`
* `topology.connected`
* `topology.dense_embedding`
* `topology.homeomorph`
* `topology.separation`
* `topology.support`
* `topology.uniform_space.basic`
