chore(*): add mathlib4 synchronization comments (#18851)
Regenerated from the [port status wiki page](https://github.com/leanprover-community/mathlib/wiki/mathlib4-port-status).
Relates to the following files:
* `algebra.monoid_algebra.ideal`
* `algebra.ring_quot`
* `algebraic_topology.dold_kan.decomposition`
* `algebraic_topology.dold_kan.degeneracies`
* `algebraic_topology.dold_kan.n_reflects_iso`
* `algebraic_topology.dold_kan.split_simplicial_object`
* `category_theory.adjunction.over`
* `data.polynomial.module`
* `linear_algebra.affine_space.independent`
* `linear_algebra.matrix.adjugate`
* `linear_algebra.matrix.nondegenerate`
* `ring_theory.mv_polynomial.ideal`
