chore(*): add mathlib4 synchronization comments (#18406)
Regenerated from the [port status wiki page](https://github.com/leanprover-community/mathlib/wiki/mathlib4-port-status).
Relates to the following files:
* `combinatorics.simple_graph.regularity.equitabilise`
* `data.dfinsupp.interval`
* `data.finsupp.interval`
* `data.set.mul_antidiagonal`
* `group_theory.divisible`
* `linear_algebra.affine_space.basic`
* `order.upper_lower.hom`
* `ring_theory.ore_localization.basic`
* `topology.algebra.order.liminf_limsup`
* `topology.filter`
* `topology.order.hom.basic`
Author
github-actions[bot]
