chore(*): add mathlib4 synchronization comments (#18799)
Regenerated from the [port status wiki page](https://github.com/leanprover-community/mathlib/wiki/mathlib4-port-status).
Relates to the following files:
* `analysis.asymptotics.asymptotics`
* `analysis.convex.quasiconvex`
* `analysis.locally_convex.basic`
* `analysis.normed.order.upper_lower`
* `analysis.normed_space.continuous_linear_map`
* `analysis.normed_space.ray`
* `analysis.normed_space.riesz_lemma`
* `category_theory.idempotents.simplicial_object`
* `group_theory.specific_groups.alternating`
* `linear_algebra.finrank`
* `model_theory.language_map`
