chore(*): add mathlib4 synchronization comments (#18438)
Regenerated from the [port status wiki page](https://github.com/leanprover-community/mathlib/wiki/mathlib4-port-status).
Relates to the following files:
* `algebra.order.kleene`
* `category_theory.functor.inv_isos`
* `combinatorics.composition`
* `linear_algebra.basic`
* `set_theory.ordinal.basic`
* `topology.alexandroff`
* `topology.algebra.mul_action`
* `topology.algebra.order.left_right_lim`
* `topology.quasi_separated`
* `topology.sets.order`
