Commit 2023-06-04 05:46 5c1efce1

chore(*): add mathlib4 synchronization comments (#19151) Regenerated from the port status wiki page. 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