chore(*): add mathlib4 synchronization comments (#19151)
Regenerated from the [port status wiki page](https://github.com/leanprover-community/mathlib/wiki/mathlib4-port-status).
Relates to the following files:
* `algebra.jordan.basic`
* `algebra.lie.abelian`
* `algebra.lie.ideal_operations`
* `algebra.lie.matrix`
* `algebra.lie.of_associative`
* `analysis.calculus.fderiv_symmetric`
* `analysis.normed_space.dual_number`
* `analysis.normed_space.triv_sq_zero_ext`
* `category_theory.adhesive`
* `data.mv_polynomial.pderiv`
* `field_theory.chevalley_warning`
* `linear_algebra.pi_tensor_product`
* `number_theory.fermat_psp`
* `number_theory.liouville.liouville_number`
* `ring_theory.bezout`
* `ring_theory.dedekind_domain.basic`
* `ring_theory.derivation.lie`
* `ring_theory.derivation.to_square_zero`
* `topology.sheaves.sheafify`
Author
github-actions[bot]
